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