The tiger is blue. The tiger is green. The tiger is nice. The tiger is round. The tiger is young. Young people are round. If someone is round and not blue then they are green. Round people are green.
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger is young.
("tiger" "is" "young" "+")
Young people are round.
((("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is round and not blue then they are green.
((("someone" "is" "round" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "green" "+"))
Round people are green.
((("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
The tiger is round.
True
1
proof
[(triple4 OR ((triple5) -> rule1))]
("tiger" "is" "round" "+")
triple4
((triple5) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is not young.
False
1
inv-proof
[(triple5)]
("tiger" "is" "young" "-")
triple5
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
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)] The tiger is green.[(triple2 OR ((triple4) -> rule3) OR ((((triple5) -> rule1)) -> rule3))] The tiger is nice.[(triple3)] The tiger is round.[(triple4 OR ((triple5) -> rule1))] The tiger is young.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
The tiger is green.
("tiger" "is" "green" "+")
triple2
((triple4) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4
((triple5) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is young.
("tiger" "is" "young" "+")
triple5