The cat chases the lion. The cat is green. The cat is kind. The cat is nice. The cat is red. The cat is round. The cat likes the lion. The cat visits the lion. The lion chases the cat. The lion is green. The lion is kind. The lion is nice. The lion is round. The lion likes the cat. The lion visits the cat. If someone is red and they chase the lion then they are nice. If someone is kind then they like the lion. If someone is kind then they visit the lion. If the lion chases the cat then the lion likes the cat. If someone likes the lion then they chase the lion. If someone chases the lion and the lion chases the cat then the lion is red.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If someone is red and they chase the lion then they are nice.
((("someone" "is" "red" "+") ("someone" "chases" "lion" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind then they like the lion.
((("someone" "is" "kind" "+")) -> ("someone" "likes" "lion" "+"))
If someone is kind then they visit the lion.
((("someone" "is" "kind" "+")) -> ("someone" "visits" "lion" "+"))
If the lion chases the cat then the lion likes the cat.
((("lion" "chases" "cat" "+")) -> ("lion" "likes" "cat" "+"))
If someone likes the lion then they chase the lion.
((("someone" "likes" "lion" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the lion and the lion chases the cat then the lion is red.
((("someone" "chases" "lion" "+") ("lion" "chases" "cat" "+")) -> ("lion" "is" "red" "+"))
The cat likes the lion.
True
1
proof
[(triple7 OR ((triple3) -> rule2))]
("cat" "likes" "lion" "+")
triple7
((triple3) -> (rule2 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The cat is not round.
False
1
inv-proof
[(triple6)]
("cat" "is" "round" "-")
triple6
The lion visits the lion.
True
2
proof
[(((triple11) -> rule3))]
("lion" "visits" "lion" "+")
((triple11) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion does not visit the lion.
False
2
inv-proof
[(((triple11) -> rule3))]
("lion" "visits" "lion" "-")
((triple11) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion chases the lion.
True
3
proof
[(((((triple11) -> rule2)) -> rule5))]
("lion" "chases" "lion" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The lion does not chase the lion.
False
3
inv-proof
[(((((triple11) -> rule2)) -> rule5))]
("lion" "chases" "lion" "-")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat chases the lion.[(triple1 OR ((triple7) -> rule5) OR ((((triple3) -> rule2)) -> rule5))] The cat is green.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4 OR ((triple5 triple1) -> rule1) OR ((triple5 ((triple7) -> rule5)) -> rule1) OR ((triple5 ((((triple3) -> rule2)) -> rule5)) -> rule1))] The cat is red.[(triple5)] The cat is round.[(triple6)] The cat likes the lion.[(triple7 OR ((triple3) -> rule2))] The cat visits the lion.[(triple8 OR ((triple3) -> rule3))] The lion chases the cat.[(triple9)] The lion is green.[(triple10)] The lion is kind.[(triple11)] The lion is nice.[(triple12 OR ((((triple1 triple9) -> rule6) ((((triple11) -> rule2)) -> rule5)) -> rule1) OR ((((((triple7) -> rule5) triple9) -> rule6) ((((triple11) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple11) -> rule2)) -> rule5) triple9) -> rule6) ((((triple11) -> rule2)) -> rule5)) -> rule1) OR ((((((((triple3) -> rule2)) -> rule5) triple9) -> rule6) ((((triple11) -> rule2)) -> rule5)) -> rule1))] The lion is round.[(triple13)] The lion likes the cat.[(triple14 OR ((triple9) -> rule4))] The lion visits the cat.[(triple15)] @1: The lion is red.[(((triple1 triple9) -> rule6) OR ((((triple7) -> rule5) triple9) -> rule6) OR ((((((triple11) -> rule2)) -> rule5) triple9) -> rule6) OR ((((((triple3) -> rule2)) -> rule5) triple9) -> rule6))] The lion likes the lion.[(((triple11) -> rule2))] The lion visits the lion.[(((triple11) -> rule3))] @2: The lion chases the lion.[(((((triple11) -> rule2)) -> rule5))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
((triple7) -> (rule5 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule5 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
((triple5 triple1) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
((triple5 ((triple7) -> (rule5 % int2))) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
((triple5 ((((triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The cat is red.
("cat" "is" "red" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat likes the lion.
("cat" "likes" "lion" "+")
triple7
((triple3) -> (rule2 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The cat visits the lion.
("cat" "visits" "lion" "+")
triple8
((triple3) -> (rule3 % int1))
The cat visits the lion.
("cat" "visits" "lion" "+")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
triple9
The lion is green.
("lion" "is" "green" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion is nice.
("lion" "is" "nice" "+")
triple12
((((triple1 triple9) -> (rule6 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is red.
("lion" "is" "red" "+")
int4
((((((triple7) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is red.
("lion" "is" "red" "+")
int4
The cat chases the lion.
("cat" "chases" "lion" "+")
int5
((((((((triple11) -> (rule2 % int4))) -> (rule5 % int3)) triple9) -> (rule6 % int2)) ((((triple11) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
((((((((triple3) -> (rule2 % int6))) -> (rule5 % int5)) triple9) -> (rule6 % int4)) ((((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is red.
("lion" "is" "red" "+")
int4
The cat chases the lion.
("cat" "chases" "lion" "+")
int5
The cat likes the lion.
("cat" "likes" "lion" "+")
int6
The lion is round.
("lion" "is" "round" "+")
triple13
The lion likes the cat.
("lion" "likes" "cat" "+")
triple14
((triple9) -> (rule4 % int1))
The lion likes the cat.
("lion" "likes" "cat" "+")
int1
The lion visits the cat.
("lion" "visits" "cat" "+")
triple15
The lion is red.
("lion" "is" "red" "+")
((triple1 triple9) -> (rule6 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
((((triple7) -> (rule5 % int2)) triple9) -> (rule6 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
((((((triple11) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule6 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
((((((triple3) -> (rule2 % int3))) -> (rule5 % int2)) triple9) -> (rule6 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple11) -> (rule2 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion visits the lion.
("lion" "visits" "lion" "+")
((triple11) -> (rule3 % int1))
The lion visits the lion.
("lion" "visits" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((((triple11) -> (rule2 % int2))) -> (rule5 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2