The cat chases the cow. The cat does not chase the mouse. The cat is big. The cat likes the mouse. The cow does not eat the cat. The cow is young. The cow likes the mouse. The lion is big. The lion likes the cat. The lion likes the cow. The lion does not like the mouse. The mouse chases the cat. The mouse chases the cow. The mouse is nice. The mouse is round. The mouse does not like the cat. If someone likes the cat then they chase the lion. All round people are big.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
The cat is big.
("cat" "is" "big" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cow does not eat the cat.
("cow" "eats" "cat" "-")
The cow is young.
("cow" "is" "young" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The lion is big.
("lion" "is" "big" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
If someone likes the cat then they chase the lion.
((("someone" "likes" "cat" "+")) -> ("someone" "chases" "lion" "+"))
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
The lion is big.
True
1
proof
[(triple8)]
("lion" "is" "big" "+")
triple8
The mouse likes the cat.
False
1
inv-proof
[(triple16)]
("mouse" "likes" "cat" "+")
triple16
The mouse is big.
True
2
proof
[(((triple15) -> rule2))]
("mouse" "is" "big" "+")
((triple15) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The lion does not chase the lion.
False
2
inv-proof
[(((triple9) -> rule1))]
("lion" "chases" "lion" "-")
((triple9) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The cow does not chase the lion.
Unknown
inv-rconc
[@1: The cow chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "lion" "-")
The cow is big.
Unknown
rconc
[@1: The cow is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "is" "big" "+")
The lion does not eat the mouse.
Unknown
inv-random
[@0: The lion eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "mouse" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cat chases the cow.[(triple1)] The cat does not chase the mouse.[(triple2)] The cat is big.[(triple3)] The cat likes the mouse.[(triple4)] The cow does not eat the cat.[(triple5)] The cow is young.[(triple6)] The cow likes the mouse.[(triple7)] The lion does not like the mouse.[(triple11)] The lion is big.[(triple8)] The lion likes the cat.[(triple9)] The lion likes the cow.[(triple10)] The mouse chases the cat.[(triple12)] The mouse chases the cow.[(triple13)] The mouse does not like the cat.[(triple16)] The mouse is nice.[(triple14)] The mouse is round.[(triple15)] @1: The lion chases the lion.[(((triple9) -> rule1))] The mouse is big.[(((triple15) -> rule2))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not chase the mouse.
("cat" "chases" "mouse" "-")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple4
The cow does not eat the cat.
("cow" "eats" "cat" "-")
triple5
The cow is young.
("cow" "is" "young" "+")
triple6
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple7
The lion does not like the mouse.
("lion" "likes" "mouse" "-")
triple11
The lion is big.
("lion" "is" "big" "+")
triple8
The lion likes the cat.
("lion" "likes" "cat" "+")
triple9
The lion likes the cow.
("lion" "likes" "cow" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple12
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple13
The mouse does not like the cat.
("mouse" "likes" "cat" "-")
triple16
The mouse is nice.
("mouse" "is" "nice" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple15
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple9) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The mouse is big.
("mouse" "is" "big" "+")
((triple15) -> (rule2 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1