The tiger is green. The tiger is rough. The tiger is round. Green, nice people are cold. All nice people are rough. All round, nice people are green. Cold, rough people are green. If someone is green then they are round. Green people are cold. If the tiger is green then the tiger is rough. If someone is nice and rough then they are round.
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
Green, nice people are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
All nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
All round, nice people are green.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Cold, rough people are green.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Green people are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If the tiger is green then the tiger is rough.
((("tiger" "is" "green" "+")) -> ("tiger" "is" "rough" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
The tiger is green.
True
1
proof
[(triple1)]
("tiger" "is" "green" "+")
triple1
The tiger is not round.
False
1
inv-proof
[(triple3 OR ((triple1) -> rule5))]
("tiger" "is" "round" "-")
triple3
((triple1) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is cold.
True
2
proof
[(((triple1) -> rule6))]
("tiger" "is" "cold" "+")
((triple1) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger is not cold.
False
2
inv-proof
[(((triple1) -> rule6))]
("tiger" "is" "cold" "-")
((triple1) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
The tiger does not visit the tiger.
Unknown
inv-random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The tiger is green.[(triple1)] The tiger is rough.[(triple2 OR ((triple1) -> rule7))] The tiger is round.[(triple3 OR ((triple1) -> rule5))] @1: The tiger is cold.[(((triple1) -> rule6))]
The tiger is green.
("tiger" "is" "green" "+")
triple1
The tiger is rough.
("tiger" "is" "rough" "+")
triple2
((triple1) -> (rule7 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
triple3
((triple1) -> (rule5 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is cold.
("tiger" "is" "cold" "+")
((triple1) -> (rule6 % int1))
The tiger is cold.
("tiger" "is" "cold" "+")
int1