The cat chases the lion. The cat chases the rabbit. The cat is red. The cat sees the lion. The cat sees the rabbit. The lion does not chase the cat. The lion chases the rabbit. The lion is not nice. The rabbit is not cold. The rabbit sees the cat. If something is red and it sees the rabbit then the rabbit chases the cat. If something chases the cat then the cat is rough.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is red.
("cat" "is" "red" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The lion does not chase the cat.
("lion" "chases" "cat" "-")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is not nice.
("lion" "is" "nice" "-")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If something is red and it sees the rabbit then the rabbit chases the cat.
((("something" "is" "red" "+") ("something" "sees" "rabbit" "+")) -> ("rabbit" "chases" "cat" "+"))
If something chases the cat then the cat is rough.
((("something" "chases" "cat" "+")) -> ("cat" "is" "rough" "+"))
The cat chases the rabbit.
True
1
proof
[(triple2)]
("cat" "chases" "rabbit" "+")
triple2
The lion is nice.
False
1
inv-proof
[(triple8)]
("lion" "is" "nice" "+")
triple8
The rabbit chases the cat.
True
3
proof
[(((triple3 triple5) -> rule1))]
("rabbit" "chases" "cat" "+")
((triple3 triple5) -> (rule1 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit does not chase the cat.
False
3
inv-proof
[(((triple3 triple5) -> rule1))]
("rabbit" "chases" "cat" "-")
((triple3 triple5) -> (rule1 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The cat is rough.
True
4
proof
[(((((triple3 triple5) -> rule1)) -> rule2))]
("cat" "is" "rough" "+")
((((triple3 triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int2
The cat is not rough.
False
4
inv-proof
[(((((triple3 triple5) -> rule1)) -> rule2))]
("cat" "is" "rough" "-")
((((triple3 triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int2
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The lion is rough.
Unknown
random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "+")
The lion does not see the rabbit.
Unknown
inv-random
[@0: The lion sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "rabbit" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The lion does not like the cat.
Unknown
inv-random
[@0: The lion likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cat" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The cat chases the lion.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is red.[(triple3)] The cat sees the lion.[(triple4)] The cat sees the rabbit.[(triple5)] The lion chases the rabbit.[(triple7)] The lion does not chase the cat.[(triple6)] The lion is not nice.[(triple8)] The rabbit is not cold.[(triple9)] The rabbit sees the cat.[(triple10)] @1: The rabbit chases the cat.[(((triple3 triple5) -> rule1))] @2: The cat is rough.[(((((triple3 triple5) -> rule1)) -> rule2))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple2
The cat is red.
("cat" "is" "red" "+")
triple3
The cat sees the lion.
("cat" "sees" "lion" "+")
triple4
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple5
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple7
The lion does not chase the cat.
("lion" "chases" "cat" "-")
triple6
The lion is not nice.
("lion" "is" "nice" "-")
triple8
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple9
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple10
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
((triple3 triple5) -> (rule1 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
((((triple3 triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int2