The cat chases the lion. The cat is kind. The cat is rough. The cat sees the lion. The cat sees the rabbit. The cat visits the lion. The cat visits the rabbit. The lion is kind. The lion is rough. The lion is round. The lion is young. The lion sees the cat. The lion sees the rabbit. The lion visits the cat. The rabbit is kind. If someone sees the lion then they chase the lion. If someone sees the rabbit and they see the lion then the lion chases the cat. If someone is nice then they are kind. If someone is rough and they visit the cat then the cat visits the rabbit. If someone visits the lion then they chase the cat. If someone is kind and they chase the cat then they are round.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
If someone sees the lion then they chase the lion.
((("someone" "sees" "lion" "+")) -> ("someone" "chases" "lion" "+"))
If someone sees the rabbit and they see the lion then the lion chases the cat.
((("someone" "sees" "rabbit" "+") ("someone" "sees" "lion" "+")) -> ("lion" "chases" "cat" "+"))
If someone is nice then they are kind.
((("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
If someone is rough and they visit the cat then the cat visits the rabbit.
((("someone" "is" "rough" "+") ("someone" "visits" "cat" "+")) -> ("cat" "visits" "rabbit" "+"))
If someone visits the lion then they chase the cat.
((("someone" "visits" "lion" "+")) -> ("someone" "chases" "cat" "+"))
If someone is kind and they chase the cat then they are round.
((("someone" "is" "kind" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "round" "+"))
The lion is round.
True
1
proof
[(triple10 OR ((triple8 ((triple5 triple4) -> rule2)) -> rule6))]
("lion" "is" "round" "+")
triple10
((triple8 ((triple5 triple4) -> (rule2 % int2))) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
int2
The lion does not see the cat.
False
1
inv-proof
[(triple12)]
("lion" "sees" "cat" "-")
triple12
The cat chases the cat.
True
2
proof
[(((triple6) -> rule5))]
("cat" "chases" "cat" "+")
((triple6) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple6) -> rule5))]
("cat" "chases" "cat" "-")
((triple6) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat is round.
True
4
proof
[(((triple2 ((triple6) -> rule5)) -> rule6))]
("cat" "is" "round" "+")
((triple2 ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat is not round.
False
4
inv-proof
[(((triple2 ((triple6) -> rule5)) -> rule6))]
("cat" "is" "round" "-")
((triple2 ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "lion" "-")
The rabbit chases the cat.
Unknown
rconc
[@1: The rabbit chases the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "cat" "+")
The rabbit does not chase the lion.
Unknown
inv-rconc
[@1: The rabbit chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "lion" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The cat chases the lion.[(triple1 OR ((triple4) -> rule1))] The cat is kind.[(triple2)] The cat is rough.[(triple3)] The cat sees the lion.[(triple4)] The cat sees the rabbit.[(triple5)] The cat visits the lion.[(triple6)] The cat visits the rabbit.[(triple7 OR ((triple9 triple14) -> rule4))] The lion is kind.[(triple8)] The lion is rough.[(triple9)] The lion is round.[(triple10 OR ((triple8 ((triple5 triple4) -> rule2)) -> rule6))] The lion is young.[(triple11)] The lion sees the cat.[(triple12)] The lion sees the rabbit.[(triple13)] The lion visits the cat.[(triple14)] The rabbit is kind.[(triple15)] @1: The cat chases the cat.[(((triple6) -> rule5))] The lion chases the cat.[(((triple5 triple4) -> rule2))] @2: The cat is round.[(((triple2 ((triple6) -> rule5)) -> rule6))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
((triple4) -> (rule1 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat sees the lion.
("cat" "sees" "lion" "+")
triple4
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple5
The cat visits the lion.
("cat" "visits" "lion" "+")
triple6
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple7
((triple9 triple14) -> (rule4 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The lion is kind.
("lion" "is" "kind" "+")
triple8
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion is round.
("lion" "is" "round" "+")
triple10
((triple8 ((triple5 triple4) -> (rule2 % int2))) -> (rule6 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
int2
The lion is young.
("lion" "is" "young" "+")
triple11
The lion sees the cat.
("lion" "sees" "cat" "+")
triple12
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple13
The lion visits the cat.
("lion" "visits" "cat" "+")
triple14
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple15
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple6) -> (rule5 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
((triple5 triple4) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The cat is round.
("cat" "is" "round" "+")
((triple2 ((triple6) -> (rule5 % int2))) -> (rule6 % int1))
The cat is round.
("cat" "is" "round" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2