The dog chases the mouse. The dog is not red. The dog is young. The dog likes the tiger. The lion is big. The lion is young. The lion likes the dog. The mouse chases the dog. The tiger chases the mouse. The tiger eats the lion. If someone likes the dog then the dog chases the lion. If someone chases the lion then the lion eats the tiger.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is not red.
("dog" "is" "red" "-")
The dog is young.
("dog" "is" "young" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
If someone likes the dog then the dog chases the lion.
((("someone" "likes" "dog" "+")) -> ("dog" "chases" "lion" "+"))
If someone chases the lion then the lion eats the tiger.
((("someone" "chases" "lion" "+")) -> ("lion" "eats" "tiger" "+"))
The tiger chases the mouse.
True
1
proof
[(triple9)]
("tiger" "chases" "mouse" "+")
triple9
The tiger does not chase the mouse.
False
1
inv-proof
[(triple9)]
("tiger" "chases" "mouse" "-")
triple9
The dog chases the lion.
True
2
proof
[(((triple7) -> rule1))]
("dog" "chases" "lion" "+")
((triple7) -> (rule1 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog does not chase the lion.
False
2
inv-proof
[(((triple7) -> rule1))]
("dog" "chases" "lion" "-")
((triple7) -> (rule1 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The lion eats the tiger.
True
3
proof
[(((((triple7) -> rule1)) -> rule2))]
("lion" "eats" "tiger" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The lion does not eat the tiger.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule2))]
("lion" "eats" "tiger" "-")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2
The mouse is not rough.
Unknown
inv-random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "-")
The mouse eats the lion.
Unknown
random
[@0: The mouse eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "lion" "+")
The lion is not round.
Unknown
inv-random
[@0: The lion is round.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "round" "-")
The mouse eats the dog.
Unknown
random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "+")
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger chases the dog.
Unknown
random
[@0: The tiger chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "dog" "+")
@0: The dog chases the mouse.[(triple1)] The dog is not red.[(triple2)] The dog is young.[(triple3)] The dog likes the tiger.[(triple4)] The lion is big.[(triple5)] The lion is young.[(triple6)] The lion likes the dog.[(triple7)] The mouse chases the dog.[(triple8)] The tiger chases the mouse.[(triple9)] The tiger eats the lion.[(triple10)] @1: The dog chases the lion.[(((triple7) -> rule1))] @2: The lion eats the tiger.[(((((triple7) -> rule1)) -> rule2))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog is not red.
("dog" "is" "red" "-")
triple2
The dog is young.
("dog" "is" "young" "+")
triple3
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple4
The lion is big.
("lion" "is" "big" "+")
triple5
The lion is young.
("lion" "is" "young" "+")
triple6
The lion likes the dog.
("lion" "likes" "dog" "+")
triple7
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple8
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple9
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The dog chases the lion.
("dog" "chases" "lion" "+")
((triple7) -> (rule1 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The lion eats the tiger.
("lion" "eats" "tiger" "+")
((((triple7) -> (rule1 % int2))) -> (rule2 % int1))
The lion eats the tiger.
("lion" "eats" "tiger" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
int2