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