The tiger is big. The tiger is blue. The tiger is nice. The tiger is red. The tiger is young. Red, nice things are blue. All big things are blue. If something is red then it is nice.
The tiger is big.
("tiger" "is" "big" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
Red, nice things are blue.
((("something" "is" "red" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
All big things are blue.
((("something" "is" "big" "+")) -> ("something" "is" "blue" "+"))
If something is red then it is nice.
((("something" "is" "red" "+")) -> ("something" "is" "nice" "+"))
The tiger is blue.
True
1
proof
[(triple2 OR ((triple1) -> rule2) OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))]
("tiger" "is" "blue" "+")
triple2
((triple1) -> (rule2 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((triple4 triple3) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is not nice.
False
1
inv-proof
[(triple3 OR ((triple4) -> rule3))]
("tiger" "is" "nice" "-")
triple3
((triple4) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
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 sees the tiger.
Unknown
random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "+")
@0: The tiger is big.[(triple1)] The tiger is blue.[(triple2 OR ((triple1) -> rule2) OR ((triple4 triple3) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1))] The tiger is nice.[(triple3 OR ((triple4) -> rule3))] The tiger is red.[(triple4)] The tiger is young.[(triple5)]
The tiger is big.
("tiger" "is" "big" "+")
triple1
The tiger is blue.
("tiger" "is" "blue" "+")
triple2
((triple1) -> (rule2 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((triple4 triple3) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
int2
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
((triple4) -> (rule3 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is red.
("tiger" "is" "red" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5