The cat chases the lion. The cat does not eat the lion. The cat is big. The cat is kind. The cat is nice. The cat is round. The cat is young. The cat needs the lion. The lion chases the cat. The lion does not eat the cat. The lion is not kind. The lion is nice. The lion is not round. The lion is not young. The lion does not need the cat. If someone eats the cat and the cat is kind then the cat needs the lion. If the cat eats the lion then the cat needs the lion. If someone is kind then they chase the cat. If someone chases the cat then the cat is big. If someone eats the lion and the lion chases the cat then the lion is young. If someone eats the cat and the cat is not round then they need the cat.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat does not eat the lion.
("cat" "eats" "lion" "-")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion is not round.
("lion" "is" "round" "-")
The lion is not young.
("lion" "is" "young" "-")
The lion does not need the cat.
("lion" "needs" "cat" "-")
If someone eats the cat and the cat is kind then the cat needs the lion.
((("someone" "eats" "cat" "+") ("cat" "is" "kind" "+")) -> ("cat" "needs" "lion" "+"))
If the cat eats the lion then the cat needs the lion.
((("cat" "eats" "lion" "+")) -> ("cat" "needs" "lion" "+"))
If someone is kind then they chase the cat.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "cat" "+"))
If someone chases the cat then the cat is big.
((("someone" "chases" "cat" "+")) -> ("cat" "is" "big" "+"))
If someone eats the lion and the lion chases the cat then the lion is young.
((("someone" "eats" "lion" "+") ("lion" "chases" "cat" "+")) -> ("lion" "is" "young" "+"))
If someone eats the cat and the cat is not round then they need the cat.
((("someone" "eats" "cat" "+") ("cat" "is" "round" "~")) -> ("someone" "needs" "cat" "+"))
The lion does not need the cat.
True
1
proof
[(triple15)]
("lion" "needs" "cat" "-")
triple15
The cat is not young.
False
1
inv-proof
[(triple7)]
("cat" "is" "young" "-")
triple7
The cat chases the cat.
True
2
proof
[(((triple4) -> rule3))]
("cat" "chases" "cat" "+")
((triple4) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not chase the cat.
False
2
inv-proof
[(((triple4) -> rule3))]
("cat" "chases" "cat" "-")
((triple4) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "needs" "cat" "-")
The lion is big.
Unknown
random
[@0: The lion is big.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "big" "+")
The lion does not chase the lion.
Unknown
inv-random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat chases the lion.[(triple1)] The cat does not eat the lion.[(triple2)] The cat is big.[(triple3 OR ((triple9) -> rule4) OR ((((triple4) -> rule3)) -> rule4))] The cat is kind.[(triple4)] The cat is nice.[(triple5)] The cat is round.[(triple6)] The cat is young.[(triple7)] The cat needs the lion.[(triple8)] The lion chases the cat.[(triple9)] The lion does not eat the cat.[(triple10)] The lion does not need the cat.[(triple15)] The lion is nice.[(triple12)] The lion is not kind.[(triple11)] The lion is not round.[(triple13)] The lion is not young.[(triple14)] @1: The cat chases the cat.[(((triple4) -> rule3))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat does not eat the lion.
("cat" "eats" "lion" "-")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
((triple9) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The cat is big.
("cat" "is" "big" "+")
int1
The cat chases the cat.
("cat" "chases" "cat" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
triple4
The cat is nice.
("cat" "is" "nice" "+")
triple5
The cat is round.
("cat" "is" "round" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat needs the lion.
("cat" "needs" "lion" "+")
triple8
The lion chases the cat.
("lion" "chases" "cat" "+")
triple9
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple10
The lion does not need the cat.
("lion" "needs" "cat" "-")
triple15
The lion is nice.
("lion" "is" "nice" "+")
triple12
The lion is not kind.
("lion" "is" "kind" "-")
triple11
The lion is not round.
("lion" "is" "round" "-")
triple13
The lion is not young.
("lion" "is" "young" "-")
triple14
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple4) -> (rule3 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1