The cat is rough. The cat is round. The cat is young. The cat likes the lion. The cat needs the lion. The cat sees the lion. The lion is big. The lion is rough. The lion is round. The lion likes the cat. The lion needs the cat. The lion sees the cat. If something is red and young then it sees the cat. If something likes the cat then it is red. If something is red then it likes the lion.
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cat.
("lion" "likes" "cat" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
If something is red and young then it sees the cat.
((("something" "is" "red" "+") ("something" "is" "young" "+")) -> ("something" "sees" "cat" "+"))
If something likes the cat then it is red.
((("something" "likes" "cat" "+")) -> ("something" "is" "red" "+"))
If something is red then it likes the lion.
((("something" "is" "red" "+")) -> ("something" "likes" "lion" "+"))
The cat likes the lion.
True
1
proof
[(triple4)]
("cat" "likes" "lion" "+")
triple4
The cat does not need the lion.
False
1
inv-proof
[(triple5)]
("cat" "needs" "lion" "-")
triple5
The lion is red.
True
2
proof
[(((triple10) -> rule2))]
("lion" "is" "red" "+")
((triple10) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion is not red.
False
2
inv-proof
[(((triple10) -> rule2))]
("lion" "is" "red" "-")
((triple10) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion likes the lion.
True
3
proof
[(((((triple10) -> rule2)) -> rule3))]
("lion" "likes" "lion" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The lion does not like the lion.
False
3
inv-proof
[(((((triple10) -> rule2)) -> rule3))]
("lion" "likes" "lion" "-")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "red" "-")
The cat sees the cat.
Unknown
rconc
[@2: The cat sees the cat.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("cat" "sees" "cat" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The cat does not like the cat.
Unknown
inv-random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The cat is rough.[(triple1)] The cat is round.[(triple2)] The cat is young.[(triple3)] The cat likes the lion.[(triple4)] The cat needs the lion.[(triple5)] The cat sees the lion.[(triple6)] The lion is big.[(triple7)] The lion is rough.[(triple8)] The lion is round.[(triple9)] The lion likes the cat.[(triple10)] The lion needs the cat.[(triple11)] The lion sees the cat.[(triple12)] @1: The lion is red.[(((triple10) -> rule2))] @2: The lion likes the lion.[(((((triple10) -> rule2)) -> rule3))]
The cat is rough.
("cat" "is" "rough" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat likes the lion.
("cat" "likes" "lion" "+")
triple4
The cat needs the lion.
("cat" "needs" "lion" "+")
triple5
The cat sees the lion.
("cat" "sees" "lion" "+")
triple6
The lion is big.
("lion" "is" "big" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion is round.
("lion" "is" "round" "+")
triple9
The lion likes the cat.
("lion" "likes" "cat" "+")
triple10
The lion needs the cat.
("lion" "needs" "cat" "+")
triple11
The lion sees the cat.
("lion" "sees" "cat" "+")
triple12
The lion is red.
("lion" "is" "red" "+")
((triple10) -> (rule2 % int1))
The lion is red.
("lion" "is" "red" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion is red.
("lion" "is" "red" "+")
int2