The cat eats the rabbit. The cat sees the rabbit. The cat visits the mouse. The cow eats the cat. The cow eats the rabbit. The cow is big. The cow is red. The cow sees the mouse. The mouse eats the cat. The mouse is round. The mouse is young. The mouse sees the cow. The rabbit eats the cat. The rabbit eats the mouse. The rabbit visits the mouse. If the cow is big then the cow eats the cat.
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If the cow is big then the cow eats the cat.
((("cow" "is" "big" "+")) -> ("cow" "eats" "cat" "+"))
The mouse eats the cat.
True
1
proof
[(triple9)]
("mouse" "eats" "cat" "+")
triple9
The mouse is not round.
False
1
inv-proof
[(triple10)]
("mouse" "is" "round" "-")
triple10
The cow does not eat the mouse.
Unknown
inv-random
[@0: The cow eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "mouse" "-")
The cat visits the cow.
Unknown
random
[@0: The cat visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cow" "+")
@0: The cat eats the rabbit.[(triple1)] The cat sees the rabbit.[(triple2)] The cat visits the mouse.[(triple3)] The cow eats the cat.[(triple4 OR ((triple6) -> rule1))] The cow eats the rabbit.[(triple5)] The cow is big.[(triple6)] The cow is red.[(triple7)] The cow sees the mouse.[(triple8)] The mouse eats the cat.[(triple9)] The mouse is round.[(triple10)] The mouse is young.[(triple11)] The mouse sees the cow.[(triple12)] The rabbit eats the cat.[(triple13)] The rabbit eats the mouse.[(triple14)] The rabbit visits the mouse.[(triple15)]
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple2
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple3
The cow eats the cat.
("cow" "eats" "cat" "+")
triple4
((triple6) -> (rule1 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple5
The cow is big.
("cow" "is" "big" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple8
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The mouse is young.
("mouse" "is" "young" "+")
triple11
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple12
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple13
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple15