The tiger is cold. The tiger is kind. The tiger is red. The tiger is rough. The tiger is young. If the tiger is rough and the tiger is kind then the tiger is red. Kind people are young. Cold, rough people are red.
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the tiger is rough and the tiger is kind then the tiger is red.
((("tiger" "is" "rough" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "is" "red" "+"))
Kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Cold, rough people are red.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
The tiger is young.
True
1
proof
[(triple5 OR ((triple2) -> rule2))]
("tiger" "is" "young" "+")
triple5
((triple2) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
1
inv-proof
[(triple5 OR ((triple2) -> rule2))]
("tiger" "is" "young" "-")
triple5
((triple2) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
@0: The tiger is cold.[(triple1)] The tiger is kind.[(triple2)] The tiger is red.[(triple3 OR ((triple1 triple4) -> rule3) OR ((triple4 triple2) -> rule1))] The tiger is rough.[(triple4)] The tiger is young.[(triple5 OR ((triple2) -> rule2))]
The tiger is cold.
("tiger" "is" "cold" "+")
triple1
The tiger is kind.
("tiger" "is" "kind" "+")
triple2
The tiger is red.
("tiger" "is" "red" "+")
triple3
((triple1 triple4) -> (rule3 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
((triple4 triple2) -> (rule1 % int1))
The tiger is red.
("tiger" "is" "red" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5
((triple2) -> (rule2 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1