The tiger is big. The tiger is rough. The tiger is round. All rough people are blue. If someone is cold and blue then they are rough. All big, blue people are not cold. If the tiger is cold and the tiger is not big then the tiger is not round. All cold people are round. Blue, big people are round. Rough people are round. If someone is big and not rough then they are round.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger is round.
("tiger" "is" "round" "+")
All rough people are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
All big, blue people are not cold.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "-"))
If the tiger is cold and the tiger is not big then the tiger is not round.
((("tiger" "is" "cold" "+") ("tiger" "is" "big" "~")) -> ("tiger" "is" "round" "-"))
All cold people are round.
((("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Blue, big people are round.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is big and not rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "~")) -> ("someone" "is" "round" "+"))
The tiger is rough.
True
1
proof
[(triple2)]
("tiger" "is" "rough" "+")
triple2
The tiger is not round.
False
1
inv-proof
[(triple3 OR ((triple2) -> rule7) OR ((((triple2) -> rule1) triple1) -> rule6))]
("tiger" "is" "round" "-")
triple3
((triple2) -> (rule7 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
((((triple2) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is blue.
True
2
proof
[(((triple2) -> rule1))]
("tiger" "is" "blue" "+")
((triple2) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not blue.
False
2
inv-proof
[(((triple2) -> rule1))]
("tiger" "is" "blue" "-")
((triple2) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not cold.
True
4
proof
[(((triple1 ((triple2) -> rule1)) -> rule3))]
("tiger" "is" "cold" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is not cold.
("tiger" "is" "cold" "-")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is cold.
False
4
inv-proof
[(((triple1 ((triple2) -> rule1)) -> rule3))]
("tiger" "is" "cold" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is not cold.
("tiger" "is" "cold" "-")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger does not need the tiger.
Unknown
inv-random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "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 big.[(triple1)] The tiger is rough.[(triple2)] The tiger is round.[(triple3 OR ((triple2) -> rule7) OR ((((triple2) -> rule1) triple1) -> rule6))] @1: The tiger is blue.[(((triple2) -> rule1))] @2: The tiger is not cold.[(((triple1 ((triple2) -> rule1)) -> rule3))]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is rough.
("tiger" "is" "rough" "+")
triple2
The tiger is round.
("tiger" "is" "round" "+")
triple3
((triple2) -> (rule7 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
((((triple2) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
((triple2) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not cold.
("tiger" "is" "cold" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is not cold.
("tiger" "is" "cold" "-")
int1
The tiger is blue.
("tiger" "is" "blue" "+")
int2