The cat chases the rabbit. The cat is big. The cat is blue. The cat is nice. The cat is red. The cat is round. The cat needs the cow. The cat needs the rabbit. The cat visits the cow. The cat visits the rabbit. The cow needs the cat. The cow needs the rabbit. The cow visits the cat. The rabbit is big. The rabbit needs the cat. If someone visits the rabbit and they are nice then the rabbit is round.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
If someone visits the rabbit and they are nice then the rabbit is round.
((("someone" "visits" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("rabbit" "is" "round" "+"))
The cat is red.
True
1
proof
[(triple5)]
("cat" "is" "red" "+")
triple5
The cat does not need the rabbit.
False
1
inv-proof
[(triple8)]
("cat" "needs" "rabbit" "-")
triple8
The rabbit is round.
True
3
proof
[(((triple10 triple4) -> rule1))]
("rabbit" "is" "round" "+")
((triple10 triple4) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit is not round.
False
3
inv-proof
[(((triple10 triple4) -> rule1))]
("rabbit" "is" "round" "-")
((triple10 triple4) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The cow does not need the cow.
Unknown
inv-random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The cow is nice.
Unknown
random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is big.[(triple2)] The cat is blue.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat needs the cow.[(triple7)] The cat needs the rabbit.[(triple8)] The cat visits the cow.[(triple9)] The cat visits the rabbit.[(triple10)] The cow needs the cat.[(triple11)] The cow needs the rabbit.[(triple12)] The cow visits the cat.[(triple13)] The rabbit is big.[(triple14)] The rabbit needs the cat.[(triple15)] @1: The rabbit is round.[(((triple10 triple4) -> rule1))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is big.
("cat" "is" "big" "+")
triple2
The cat is blue.
("cat" "is" "blue" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat needs the cow.
("cat" "needs" "cow" "+")
triple7
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple8
The cat visits the cow.
("cat" "visits" "cow" "+")
triple9
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple10
The cow needs the cat.
("cow" "needs" "cat" "+")
triple11
The cow needs the rabbit.
("cow" "needs" "rabbit" "+")
triple12
The cow visits the cat.
("cow" "visits" "cat" "+")
triple13
The rabbit is big.
("rabbit" "is" "big" "+")
triple14
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple15
The rabbit is round.
("rabbit" "is" "round" "+")
((triple10 triple4) -> (rule1 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1