The tiger is blue. Cold people are rough. Cold, blue people are red. Cold, red people are rough. Blue people are rough. Nice people are rough. Nice people are rough.
The tiger is blue.
("tiger" "is" "blue" "+")
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Cold, blue people are red.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "red" "+"))
Cold, red people are rough.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
The tiger is blue.
True
1
proof
[(triple1)]
("tiger" "is" "blue" "+")
triple1
The tiger is not blue.
False
1
inv-proof
[(triple1)]
("tiger" "is" "blue" "-")
triple1
The tiger is rough.
True
2
proof
[(((triple1) -> rule4))]
("tiger" "is" "rough" "+")
((triple1) -> (rule4 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple1) -> rule4))]
("tiger" "is" "rough" "-")
((triple1) -> (rule4 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not red.
Unknown
inv-rconc
[@1: The tiger is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "is" "red" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
The tiger is not cold.
Unknown
inv-random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "-")
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 blue.[(triple1)] @1: The tiger is rough.[(((triple1) -> rule4))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple1) -> (rule4 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1