The cat chases the lion. The cat eats the lion. The cat eats the squirrel. The cat visits the squirrel. The lion chases the squirrel. The lion is round. The squirrel eats the cat. The squirrel eats the lion. The squirrel visits the cat. The squirrel visits the lion. If someone eats the lion then they are big. If someone visits the lion and the lion chases the cat then the cat eats the squirrel. If someone is big then they visit the lion. If someone is kind and round then they eat the lion. If the cat chases the squirrel then the squirrel chases the cat. If someone is round then they visit the squirrel. If someone is big then they visit the cat. If someone visits the squirrel and they visit the cat then the squirrel is kind.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion is round.
("lion" "is" "round" "+")
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
If someone eats the lion then they are big.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "big" "+"))
If someone visits the lion and the lion chases the cat then the cat eats the squirrel.
((("someone" "visits" "lion" "+") ("lion" "chases" "cat" "+")) -> ("cat" "eats" "squirrel" "+"))
If someone is big then they visit the lion.
((("someone" "is" "big" "+")) -> ("someone" "visits" "lion" "+"))
If someone is kind and round then they eat the lion.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "eats" "lion" "+"))
If the cat chases the squirrel then the squirrel chases the cat.
((("cat" "chases" "squirrel" "+")) -> ("squirrel" "chases" "cat" "+"))
If someone is round then they visit the squirrel.
((("someone" "is" "round" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone is big then they visit the cat.
((("someone" "is" "big" "+")) -> ("someone" "visits" "cat" "+"))
If someone visits the squirrel and they visit the cat then the squirrel is kind.
((("someone" "visits" "squirrel" "+") ("someone" "visits" "cat" "+")) -> ("squirrel" "is" "kind" "+"))
The squirrel visits the lion.
True
1
proof
[(triple10 OR ((((triple8) -> rule1)) -> rule3))]
("squirrel" "visits" "lion" "+")
triple10
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The lion does not chase the squirrel.
False
1
inv-proof
[(triple5)]
("lion" "chases" "squirrel" "-")
triple5
The squirrel is big.
True
2
proof
[(((triple8) -> rule1))]
("squirrel" "is" "big" "+")
((triple8) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The lion does not visit the squirrel.
False
2
inv-proof
[(((triple6) -> rule6))]
("lion" "visits" "squirrel" "-")
((triple6) -> (rule6 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The cat visits the lion.
True
3
proof
[(((((triple2) -> rule1)) -> rule3))]
("cat" "visits" "lion" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat does not visit the lion.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule3))]
("cat" "visits" "lion" "-")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The squirrel is kind.
True
5
proof
[(((triple4 ((((triple2) -> rule1)) -> rule7)) -> rule8))]
("squirrel" "is" "kind" "+")
((triple4 ((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The squirrel is not kind.
False
5
inv-proof
[(((triple4 ((((triple2) -> rule1)) -> rule7)) -> rule8))]
("squirrel" "is" "kind" "-")
((triple4 ((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3
The squirrel does not visit the squirrel.
Unknown
inv-rconc
[@1: The squirrel visits the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "visits" "squirrel" "-")
The lion visits the cat.
Unknown
rconc
[@3: The lion visits the cat.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule4 <- FAIL)]]
("lion" "visits" "cat" "+")
The squirrel does not chase the cat.
Unknown
inv-rconc
[@1: The squirrel chases the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "chases" "cat" "-")
The lion is big.
Unknown
rconc
[@2: The lion is big.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("lion" "is" "big" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The squirrel chases the lion.
Unknown
random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The cat chases the lion.[(triple1)] The cat eats the lion.[(triple2)] The cat eats the squirrel.[(triple3)] The cat visits the squirrel.[(triple4)] The lion chases the squirrel.[(triple5)] The lion is round.[(triple6)] The squirrel eats the cat.[(triple7)] The squirrel eats the lion.[(triple8)] The squirrel visits the cat.[(triple9 OR ((((triple8) -> rule1)) -> rule7))] The squirrel visits the lion.[(triple10 OR ((((triple8) -> rule1)) -> rule3))] @1: The cat is big.[(((triple2) -> rule1))] The lion visits the squirrel.[(((triple6) -> rule6))] The squirrel is big.[(((triple8) -> rule1))] @2: The cat visits the cat.[(((((triple2) -> rule1)) -> rule7))] The cat visits the lion.[(((((triple2) -> rule1)) -> rule3))] @3: The squirrel is kind.[(((triple4 ((((triple2) -> rule1)) -> rule7)) -> rule8))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat eats the lion.
("cat" "eats" "lion" "+")
triple2
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple3
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple4
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
triple7
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple8
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
triple9
((((triple8) -> (rule1 % int2))) -> (rule7 % int1))
The squirrel visits the cat.
("squirrel" "visits" "cat" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
triple10
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel visits the lion.
("squirrel" "visits" "lion" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
int2
The cat is big.
("cat" "is" "big" "+")
((triple2) -> (rule1 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
((triple6) -> (rule6 % int1))
The lion visits the squirrel.
("lion" "visits" "squirrel" "+")
int1
The squirrel is big.
("squirrel" "is" "big" "+")
((triple8) -> (rule1 % int1))
The squirrel is big.
("squirrel" "is" "big" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
((((triple2) -> (rule1 % int2))) -> (rule7 % int1))
The cat visits the cat.
("cat" "visits" "cat" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The cat visits the lion.
("cat" "visits" "lion" "+")
((((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The cat is big.
("cat" "is" "big" "+")
int2
The squirrel is kind.
("squirrel" "is" "kind" "+")
((triple4 ((((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The squirrel is kind.
("squirrel" "is" "kind" "+")
int1
The cat visits the cat.
("cat" "visits" "cat" "+")
int2
The cat is big.
("cat" "is" "big" "+")
int3