The cow chases the mouse. The cow chases the rabbit. The cow is big. The cow is blue. The cow likes the mouse. The cow likes the rabbit. The cow visits the rabbit. The mouse chases the cow. The mouse likes the cow. The mouse visits the cow. The rabbit chases the mouse. The rabbit is blue. The rabbit is rough. The rabbit visits the cow. The rabbit visits the mouse. If something visits the mouse then the mouse likes the rabbit. If something is rough and it likes the rabbit then it is blue. If something chases the cow and it likes the rabbit then the cow is young. If the cow likes the rabbit then the rabbit likes the mouse. If something likes the rabbit then the rabbit is young. If the cow chases the rabbit then the rabbit is blue. If the rabbit chases the mouse then the rabbit chases the cow. If something is blue and it visits the mouse then the mouse is big.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something visits the mouse then the mouse likes the rabbit.
((("something" "visits" "mouse" "+")) -> ("mouse" "likes" "rabbit" "+"))
If something is rough and it likes the rabbit then it is blue.
((("something" "is" "rough" "+") ("something" "likes" "rabbit" "+")) -> ("something" "is" "blue" "+"))
If something chases the cow and it likes the rabbit then the cow is young.
((("something" "chases" "cow" "+") ("something" "likes" "rabbit" "+")) -> ("cow" "is" "young" "+"))
If the cow likes the rabbit then the rabbit likes the mouse.
((("cow" "likes" "rabbit" "+")) -> ("rabbit" "likes" "mouse" "+"))
If something likes the rabbit then the rabbit is young.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "young" "+"))
If the cow chases the rabbit then the rabbit is blue.
((("cow" "chases" "rabbit" "+")) -> ("rabbit" "is" "blue" "+"))
If the rabbit chases the mouse then the rabbit chases the cow.
((("rabbit" "chases" "mouse" "+")) -> ("rabbit" "chases" "cow" "+"))
If something is blue and it visits the mouse then the mouse is big.
((("something" "is" "blue" "+") ("something" "visits" "mouse" "+")) -> ("mouse" "is" "big" "+"))
The cow likes the mouse.
True
1
proof
[(triple5)]
("cow" "likes" "mouse" "+")
triple5
The cow does not chase the mouse.
False
1
inv-proof
[(triple1)]
("cow" "chases" "mouse" "-")
triple1
The rabbit is young.
True
2
proof
[(((triple6) -> rule5) OR ((((triple15) -> rule1)) -> rule5))]
("rabbit" "is" "young" "+")
((triple6) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((((triple15) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The rabbit does not chase the cow.
False
2
inv-proof
[(((triple11) -> rule7))]
("rabbit" "chases" "cow" "-")
((triple11) -> (rule7 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The cow is young.
True
4
proof
[(((triple8 ((triple15) -> rule1)) -> rule3))]
("cow" "is" "young" "+")
((triple8 ((triple15) -> (rule1 % int2))) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The cow is not young.
False
4
inv-proof
[(((triple8 ((triple15) -> rule1)) -> rule3))]
("cow" "is" "young" "-")
((triple8 ((triple15) -> (rule1 % int2))) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "blue" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The rabbit likes the cow.
Unknown
random
[@0: The rabbit likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "cow" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The cow visits the mouse.
Unknown
random
[@0: The cow visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "mouse" "+")
@0: The cow chases the mouse.[(triple1)] The cow chases the rabbit.[(triple2)] The cow is big.[(triple3)] The cow is blue.[(triple4)] The cow likes the mouse.[(triple5)] The cow likes the rabbit.[(triple6)] The cow visits the rabbit.[(triple7)] The mouse chases the cow.[(triple8)] The mouse likes the cow.[(triple9)] The mouse visits the cow.[(triple10)] The rabbit chases the mouse.[(triple11)] The rabbit is blue.[(triple12 OR ((triple2) -> rule6))] The rabbit is rough.[(triple13)] The rabbit visits the cow.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The mouse is big.[(((triple12 triple15) -> rule8) OR ((((triple2) -> rule6) triple15) -> rule8))] The mouse likes the rabbit.[(((triple15) -> rule1))] The rabbit chases the cow.[(((triple11) -> rule7))] The rabbit is young.[(((triple6) -> rule5) OR ((((triple15) -> rule1)) -> rule5))] The rabbit likes the mouse.[(((triple6) -> rule4))] @2: The cow is young.[(((triple8 ((triple15) -> rule1)) -> rule3))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow chases the rabbit.
("cow" "chases" "rabbit" "+")
triple2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is blue.
("cow" "is" "blue" "+")
triple4
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple5
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple6
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple7
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple8
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple9
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple10
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple11
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple12
((triple2) -> (rule6 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple15
The mouse is big.
("mouse" "is" "big" "+")
((triple12 triple15) -> (rule8 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
((((triple2) -> (rule6 % int2)) triple15) -> (rule8 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The rabbit is blue.
("rabbit" "is" "blue" "+")
int2
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
((triple15) -> (rule1 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
((triple11) -> (rule7 % int1))
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((triple6) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
((((triple15) -> (rule1 % int2))) -> (rule5 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
((triple6) -> (rule4 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The cow is young.
("cow" "is" "young" "+")
((triple8 ((triple15) -> (rule1 % int2))) -> (rule3 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int2