The cat chases the rabbit. The cat eats the rabbit. The cat is big. The cat is not nice. The cat is round. The cow chases the cat. The cow eats the cat. The cow eats the rabbit. The cow is rough. The rabbit chases the cow. The rabbit does not eat the cat. The rabbit sees the cow. If the cat is not big then the cat eats the cow. If something is rough then it does not see the rabbit. If something chases the rabbit and it sees the cat then the cat is nice. If something sees the cow and it does not see the rabbit then the rabbit eats the cow. If something sees the cat and it eats the cow then it eats the cat. If something eats the rabbit and the rabbit does not eat the cat then the cat is blue.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is not nice.
("cat" "is" "nice" "-")
The cat is round.
("cat" "is" "round" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow eats the cat.
("cow" "eats" "cat" "+")
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
The cow is rough.
("cow" "is" "rough" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If the cat is not big then the cat eats the cow.
((("cat" "is" "big" "~")) -> ("cat" "eats" "cow" "+"))
If something is rough then it does not see the rabbit.
((("something" "is" "rough" "+")) -> ("something" "sees" "rabbit" "-"))
If something chases the rabbit and it sees the cat then the cat is nice.
((("something" "chases" "rabbit" "+") ("something" "sees" "cat" "+")) -> ("cat" "is" "nice" "+"))
If something sees the cow and it does not see the rabbit then the rabbit eats the cow.
((("something" "sees" "cow" "+") ("something" "sees" "rabbit" "~")) -> ("rabbit" "eats" "cow" "+"))
If something sees the cat and it eats the cow then it eats the cat.
((("something" "sees" "cat" "+") ("something" "eats" "cow" "+")) -> ("something" "eats" "cat" "+"))
If something eats the rabbit and the rabbit does not eat the cat then the cat is blue.
((("something" "eats" "rabbit" "+") ("rabbit" "eats" "cat" "~")) -> ("cat" "is" "blue" "+"))
The cat is not nice.
True
1
proof
[(triple4)]
("cat" "is" "nice" "-")
triple4
The rabbit does not see the cow.
False
1
inv-proof
[(triple12)]
("rabbit" "sees" "cow" "-")
triple12
The cat is blue.
True
3
proof
[(((triple2 triple11) -> rule6) OR ((triple8 triple11) -> rule6))]
("cat" "is" "blue" "+")
((triple2 triple11) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((triple8 triple11) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is not blue.
False
3
inv-proof
[(((triple2 triple11) -> rule6) OR ((triple8 triple11) -> rule6))]
("cat" "is" "blue" "-")
((triple2 triple11) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((triple8 triple11) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "eats" "cat" "-")
The cat eats the cow.
Unknown
rconc
[@1: The cat eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cow" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The cow chases the rabbit.
Unknown
random
[@0: The cow chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "rabbit" "+")
@0: The cat chases the rabbit.[(triple1)] The cat eats the rabbit.[(triple2)] The cat is big.[(triple3)] The cat is not nice.[(triple4)] The cat is round.[(triple5)] The cow chases the cat.[(triple6)] The cow eats the cat.[(triple7)] The cow eats the rabbit.[(triple8)] The cow is rough.[(triple9)] The rabbit chases the cow.[(triple10)] The rabbit does not eat the cat.[(triple11)] The rabbit sees the cow.[(triple12)] @1: The cat is blue.[(((triple2 triple11) -> rule6) OR ((triple8 triple11) -> rule6))] The cow does not see the rabbit.[(((triple9) -> rule2))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is not nice.
("cat" "is" "nice" "-")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cow chases the cat.
("cow" "chases" "cat" "+")
triple6
The cow eats the cat.
("cow" "eats" "cat" "+")
triple7
The cow eats the rabbit.
("cow" "eats" "rabbit" "+")
triple8
The cow is rough.
("cow" "is" "rough" "+")
triple9
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple10
The rabbit does not eat the cat.
("rabbit" "eats" "cat" "-")
triple11
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple12
The cat is blue.
("cat" "is" "blue" "+")
((triple2 triple11) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
((triple8 triple11) -> (rule6 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
((triple9) -> (rule2 % int1))
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
int1