The tiger is blue. If someone is rough then they are blue. If someone is kind and not young then they are blue. All rough, blue people are round. If someone is blue and kind then they are round. Kind people are round. If someone is blue then they are rough. Kind, blue people are rough. If the tiger is rough then the tiger is blue.
The tiger is blue.
("tiger" "is" "blue" "+")
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and not young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "~")) -> ("someone" "is" "blue" "+"))
All rough, blue people are round.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
Kind people are round.
((("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is blue then they are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Kind, blue people are rough.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If the tiger is rough then the tiger is blue.
((("tiger" "is" "rough" "+")) -> ("tiger" "is" "blue" "+"))
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) -> rule6))]
("tiger" "is" "rough" "+")
((triple1) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is not rough.
False
2
inv-proof
[(((triple1) -> rule6))]
("tiger" "is" "rough" "-")
((triple1) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger is young.
Unknown
random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "+")
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 blue.[(triple1)] @1: The tiger is rough.[(((triple1) -> rule6))] @2: The tiger is round.[(((((triple1) -> rule6) triple1) -> rule3))]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is rough.
("tiger" "is" "rough" "+")
((triple1) -> (rule6 % int1))
The tiger is rough.
("tiger" "is" "rough" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((((triple1) -> (rule6 % int2)) triple1) -> (rule3 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is rough.
("tiger" "is" "rough" "+")
int2