The tiger is round. If someone is young then they are blue. All round, young people are blue. Blue, round people are big. All kind, blue people are big. Blue, kind people are round. If the tiger is kind and the tiger is blue then the tiger is young.
The tiger is round.
("tiger" "is" "round" "+")
If someone is young then they are blue.
((("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
All round, young people are blue.
((("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Blue, round people are big.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All kind, blue people are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
Blue, kind people are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If the tiger is kind and the tiger is blue then the tiger is young.
((("tiger" "is" "kind" "+") ("tiger" "is" "blue" "+")) -> ("tiger" "is" "young" "+"))
The tiger is round.
True
1
proof
[(triple1)]
("tiger" "is" "round" "+")
triple1
The tiger is not round.
False
1
inv-proof
[(triple1)]
("tiger" "is" "round" "-")
triple1
The tiger is not big.
Unknown
inv-rconc
[@3: The tiger is big.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule6 <- FAIL)]]
("tiger" "is" "big" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The tiger is round.[(triple1)]
The tiger is round.
("tiger" "is" "round" "+")
triple1