The cat eats the tiger. The cow is rough. The tiger does not chase the cat. If something chases the tiger then it eats the tiger. If something is cold and it does not see the cat then the cat is blue.
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cow is rough.
("cow" "is" "rough" "+")
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
If something chases the tiger then it eats the tiger.
((("something" "chases" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
If something is cold and it does not see the cat then the cat is blue.
((("something" "is" "cold" "+") ("something" "sees" "cat" "~")) -> ("cat" "is" "blue" "+"))
The cow is rough.
True
1
proof
[(triple2)]
("cow" "is" "rough" "+")
triple2
The cow is not rough.
False
1
inv-proof
[(triple2)]
("cow" "is" "rough" "-")
triple2
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
@0: The cat eats the tiger.[(triple1)] The cow is rough.[(triple2)] The tiger does not chase the cat.[(triple3)]
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple1
The cow is rough.
("cow" "is" "rough" "+")
triple2
The tiger does not chase the cat.
("tiger" "chases" "cat" "-")
triple3