The cat chases the lion. The lion chases the cat. The lion is not kind. The rabbit is kind. The rabbit visits the lion. The squirrel eats the cat. The squirrel is nice. If someone visits the lion then the lion is nice. If someone is round then they eat the squirrel. If someone is big then they eat the cat.
The cat chases the lion.
("cat" "chases" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel is nice.
("squirrel" "is" "nice" "+")
If someone visits the lion then the lion is nice.
((("someone" "visits" "lion" "+")) -> ("lion" "is" "nice" "+"))
If someone is round then they eat the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone is big then they eat the cat.
((("someone" "is" "big" "+")) -> ("someone" "eats" "cat" "+"))
The rabbit visits the lion.
True
1
proof
[(triple5)]
("rabbit" "visits" "lion" "+")
triple5
The lion does not chase the cat.
False
1
inv-proof
[(triple2)]
("lion" "chases" "cat" "-")
triple2
The lion is nice.
True
2
proof
[(((triple5) -> rule1))]
("lion" "is" "nice" "+")
((triple5) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is not nice.
False
2
inv-proof
[(((triple5) -> rule1))]
("lion" "is" "nice" "-")
((triple5) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The rabbit does not eat the cat.
Unknown
inv-rconc
[@1: The rabbit eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "cat" "-")
The cat eats the squirrel.
Unknown
rconc
[@1: The cat eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "squirrel" "+")
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 squirrel eats the lion.
Unknown
random
[@0: The squirrel eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "lion" "+")
@0: The cat chases the lion.[(triple1)] The lion chases the cat.[(triple2)] The lion is not kind.[(triple3)] The rabbit is kind.[(triple4)] The rabbit visits the lion.[(triple5)] The squirrel eats the cat.[(triple6)] The squirrel is nice.[(triple7)] @1: The lion is nice.[(((triple5) -> rule1))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The lion chases the cat.
("lion" "chases" "cat" "+")
triple2
The lion is not kind.
("lion" "is" "kind" "-")
triple3
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple4
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple5
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple6
The squirrel is nice.
("squirrel" "is" "nice" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
((triple5) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1