The bear is rough. The cat is cold. The cow is green. The lion visits the bear. If someone is cold then they eat the cat.
The bear is rough.
("bear" "is" "rough" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The lion visits the bear.
("lion" "visits" "bear" "+")
If someone is cold then they eat the cat.
((("someone" "is" "cold" "+")) -> ("someone" "eats" "cat" "+"))
The cat is cold.
True
1
proof
[(triple2)]
("cat" "is" "cold" "+")
triple2
The bear is not rough.
False
1
inv-proof
[(triple1)]
("bear" "is" "rough" "-")
triple1
The cat eats the cat.
True
2
proof
[(((triple2) -> rule1))]
("cat" "eats" "cat" "+")
((triple2) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The cat does not eat the cat.
False
2
inv-proof
[(((triple2) -> rule1))]
("cat" "eats" "cat" "-")
((triple2) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1
The bear does not eat the cat.
Unknown
inv-rconc
[@1: The bear eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "eats" "cat" "-")
The cow eats the cat.
Unknown
rconc
[@1: The cow eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cat" "+")
The lion does not visit the lion.
Unknown
inv-random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
@0: The bear is rough.[(triple1)] The cat is cold.[(triple2)] The cow is green.[(triple3)] The lion visits the bear.[(triple4)] @1: The cat eats the cat.[(((triple2) -> rule1))]
The bear is rough.
("bear" "is" "rough" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The lion visits the bear.
("lion" "visits" "bear" "+")
triple4
The cat eats the cat.
("cat" "eats" "cat" "+")
((triple2) -> (rule1 % int1))
The cat eats the cat.
("cat" "eats" "cat" "+")
int1