The lion chases the rabbit. The lion is young. The lion visits the rabbit. The rabbit chases the lion. The rabbit eats the lion. The rabbit is big. The rabbit is nice. The rabbit is red. The rabbit is young. The rabbit visits the lion. If something visits the rabbit and the rabbit eats the lion then the lion is red. If something is young then it visits the lion. If something chases the rabbit and the rabbit is red then the rabbit is not green.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something visits the rabbit and the rabbit eats the lion then the lion is red.
((("something" "visits" "rabbit" "+") ("rabbit" "eats" "lion" "+")) -> ("lion" "is" "red" "+"))
If something is young then it visits the lion.
((("something" "is" "young" "+")) -> ("something" "visits" "lion" "+"))
If something chases the rabbit and the rabbit is red then the rabbit is not green.
((("something" "chases" "rabbit" "+") ("rabbit" "is" "red" "+")) -> ("rabbit" "is" "green" "-"))
The lion visits the rabbit.
True
1
proof
[(triple3)]
("lion" "visits" "rabbit" "+")
triple3
The rabbit is not nice.
False
1
inv-proof
[(triple7)]
("rabbit" "is" "nice" "-")
triple7
The lion visits the lion.
True
2
proof
[(((triple2) -> rule2))]
("lion" "visits" "lion" "+")
((triple2) -> (rule2 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The rabbit is green.
False
3
inv-proof
[(((triple1 triple8) -> rule3))]
("rabbit" "is" "green" "+")
((triple1 triple8) -> (rule3 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
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 lion eats the lion.
Unknown
random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "+")
@0: The lion chases the rabbit.[(triple1)] The lion is young.[(triple2)] The lion visits the rabbit.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit eats the lion.[(triple5)] The rabbit is big.[(triple6)] The rabbit is nice.[(triple7)] The rabbit is red.[(triple8)] The rabbit is young.[(triple9)] The rabbit visits the lion.[(triple10 OR ((triple9) -> rule2))] @1: The lion is red.[(((triple3 triple5) -> rule1))] The lion visits the lion.[(((triple2) -> rule2))] The rabbit is not green.[(((triple1 triple8) -> rule3))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion is young.
("lion" "is" "young" "+")
triple2
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple5
The rabbit is big.
("rabbit" "is" "big" "+")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple10
((triple9) -> (rule2 % int1))
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
int1
The lion is red.
("lion" "is" "red" "+")
((triple3 triple5) -> (rule1 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple2) -> (rule2 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The rabbit is not green.
("rabbit" "is" "green" "-")
((triple1 triple8) -> (rule3 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1