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