The tiger is blue. The tiger is green. The tiger is nice. The tiger is round. The tiger is young. Nice, round people are blue.
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" "+")
Nice, round people are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
The tiger is young.
True
1
proof
[(triple5)]
("tiger" "is" "young" "+")
triple5
The tiger is not round.
False
1
inv-proof
[(triple4)]
("tiger" "is" "round" "-")
triple4
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 chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The tiger is blue.[(triple1 OR ((triple3 triple4) -> rule1))] The tiger is green.[(triple2)] The tiger is nice.[(triple3)] The tiger is round.[(triple4)] The tiger is young.[(triple5)]
The tiger is blue.
("tiger" "is" "blue" "+")
triple1
((triple3 triple4) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is green.
("tiger" "is" "green" "+")
triple2
The tiger is nice.
("tiger" "is" "nice" "+")
triple3
The tiger is round.
("tiger" "is" "round" "+")
triple4
The tiger is young.
("tiger" "is" "young" "+")
triple5