The lion chases the rabbit. The lion eats the rabbit. The lion is young. The rabbit chases the lion. The rabbit is blue. The rabbit is kind. The rabbit is rough. If something eats the lion and it chases the lion then it is blue. If something is rough and it needs the rabbit then it eats the lion. If something chases the lion then it eats the lion. If something eats the lion and it needs the rabbit then the rabbit eats the lion. If something is young and it chases the lion then the lion chases the rabbit. If something chases the rabbit then it chases the lion.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is young.
("lion" "is" "young" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If something eats the lion and it chases the lion then it is blue.
((("something" "eats" "lion" "+") ("something" "chases" "lion" "+")) -> ("something" "is" "blue" "+"))
If something is rough and it needs the rabbit then it eats the lion.
((("something" "is" "rough" "+") ("something" "needs" "rabbit" "+")) -> ("something" "eats" "lion" "+"))
If something chases the lion then it eats the lion.
((("something" "chases" "lion" "+")) -> ("something" "eats" "lion" "+"))
If something eats the lion and it needs the rabbit then the rabbit eats the lion.
((("something" "eats" "lion" "+") ("something" "needs" "rabbit" "+")) -> ("rabbit" "eats" "lion" "+"))
If something is young and it chases the lion then the lion chases the rabbit.
((("something" "is" "young" "+") ("something" "chases" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
If something chases the rabbit then it chases the lion.
((("something" "chases" "rabbit" "+")) -> ("something" "chases" "lion" "+"))
The lion chases the rabbit.
True
1
proof
[(triple1)]
("lion" "chases" "rabbit" "+")
triple1
The rabbit does not chase the lion.
False
1
inv-proof
[(triple4)]
("rabbit" "chases" "lion" "-")
triple4
The lion chases the lion.
True
2
proof
[(((triple1) -> rule6))]
("lion" "chases" "lion" "+")
((triple1) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The rabbit does not eat the lion.
False
2
inv-proof
[(((triple4) -> rule3))]
("rabbit" "eats" "lion" "-")
((triple4) -> (rule3 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The lion eats the lion.
True
3
proof
[(((((triple1) -> rule6)) -> rule3))]
("lion" "eats" "lion" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion does not eat the lion.
False
3
inv-proof
[(((((triple1) -> rule6)) -> rule3))]
("lion" "eats" "lion" "-")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is blue.
True
6
proof
[(((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1))]
("lion" "is" "blue" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2)) ((triple1) -> (rule6 % int3))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion is not blue.
False
6
inv-proof
[(((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1))]
("lion" "is" "blue" "-")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2)) ((triple1) -> (rule6 % int3))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The rabbit does not need the lion.
Unknown
inv-random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The lion chases the rabbit.[(triple1)] The lion eats the rabbit.[(triple2)] The lion is young.[(triple3)] The rabbit chases the lion.[(triple4)] The rabbit is blue.[(triple5 OR ((((triple4) -> rule3) triple4) -> rule1))] The rabbit is kind.[(triple6)] The rabbit is rough.[(triple7)] @1: The lion chases the lion.[(((triple1) -> rule6))] The rabbit eats the lion.[(((triple4) -> rule3))] @2: The lion eats the lion.[(((((triple1) -> rule6)) -> rule3))] @3: The lion is blue.[(((((((triple1) -> rule6)) -> rule3) ((triple1) -> rule6)) -> rule1))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
((((triple4) -> (rule3 % int2)) triple4) -> (rule1 % int1))
The rabbit is blue.
("rabbit" "is" "blue" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple7
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple1) -> (rule6 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
((triple4) -> (rule3 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple1) -> (rule6 % int2))) -> (rule3 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion is blue.
("lion" "is" "blue" "+")
((((((triple1) -> (rule6 % int3))) -> (rule3 % int2)) ((triple1) -> (rule6 % int3))) -> (rule1 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion chases the lion.
("lion" "chases" "lion" "+")
int3