The tiger is cold. The tiger is kind. The tiger is not rough. Nice, cold people are kind. If someone is nice and not rough then they are cold. All nice people are big.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
Nice, cold people are kind.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and not rough then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "cold" "+"))
All nice people are big.
((("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
The tiger is kind.
True
1
proof
[(triple2)]
("tiger" "is" "kind" "+")
triple2
The tiger is not kind.
False
1
inv-proof
[(triple2)]
("tiger" "is" "kind" "-")
triple2
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "big" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The tiger is cold.[(triple1)] The tiger is kind.[(triple2)] The tiger is not rough.[(triple3)]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is kind.
("tiger" "is" "kind" "+")
triple2
The tiger is not rough.
("tiger" "is" "rough" "-")
triple3