The cat is cold. All green people are not rough. If the cat is green and the cat is cold then the cat is big. If the cat is round then the cat is big. If the cat is rough and the cat is big then the cat is green. Rough people are cold. Green people are round. If someone is cold and rough then they are round. If someone is green then they are big.
The cat is cold.
("cat" "is" "cold" "+")
All green people are not rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "-"))
If the cat is green and the cat is cold then the cat is big.
((("cat" "is" "green" "+") ("cat" "is" "cold" "+")) -> ("cat" "is" "big" "+"))
If the cat is round then the cat is big.
((("cat" "is" "round" "+")) -> ("cat" "is" "big" "+"))
If the cat is rough and the cat is big then the cat is green.
((("cat" "is" "rough" "+") ("cat" "is" "big" "+")) -> ("cat" "is" "green" "+"))
Rough people are cold.
((("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and rough then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is green then they are big.
((("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
The cat is cold.
True
1
proof
[(triple1)]
("cat" "is" "cold" "+")
triple1
The cat is not cold.
False
1
inv-proof
[(triple1)]
("cat" "is" "cold" "-")
triple1
The cat is not big.
Unknown
inv-rconc
[@3: The cat is big.[CWA. Example of deepest failure = (rule3 <- rule6 <- rule4 <- FAIL)]]
("cat" "is" "big" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is cold.[(triple1)]
The cat is cold.
("cat" "is" "cold" "+")
triple1