The tiger is big. The tiger is red. The tiger is rough. All blue people are nice. All blue people are nice. All rough people are red.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All blue people are nice.
((("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
All rough people are red.
((("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
The tiger is rough.
True
1
proof
[(triple3)]
("tiger" "is" "rough" "+")
triple3
The tiger is not rough.
False
1
inv-proof
[(triple3)]
("tiger" "is" "rough" "-")
triple3
The tiger is not nice.
Unknown
inv-rconc
[@1: The tiger is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "nice" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The tiger is big.[(triple1)] The tiger is red.[(triple2 OR ((triple3) -> rule3))] The tiger is rough.[(triple3)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is red.
("tiger" "is" "red" "+")
triple2
((triple3) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
triple3