The cat is rough. The cat is round. The cat sees the tiger. The cat visits the tiger. The tiger eats the cat. The tiger is big. The tiger is kind. The tiger is red. The tiger is round. The tiger visits the cat. If someone eats the tiger and they are kind then they are red. If the cat sees the tiger and the tiger is round then the cat is rough. If someone is red then they eat the tiger.
The cat is rough.
("cat" "is" "rough" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If someone eats the tiger and they are kind then they are red.
((("someone" "eats" "tiger" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
If the cat sees the tiger and the tiger is round then the cat is rough.
((("cat" "sees" "tiger" "+") ("tiger" "is" "round" "+")) -> ("cat" "is" "rough" "+"))
If someone is red then they eat the tiger.
((("someone" "is" "red" "+")) -> ("someone" "eats" "tiger" "+"))
The cat is round.
True
1
proof
[(triple2)]
("cat" "is" "round" "+")
triple2
The tiger is not red.
False
1
inv-proof
[(triple8)]
("tiger" "is" "red" "-")
triple8
The cat is not red.
Unknown
inv-rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "red" "-")
The cat sees the cat.
Unknown
random
[@0: The cat sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "cat" "+")
@0: The cat is rough.[(triple1 OR ((triple3 triple9) -> rule2))] The cat is round.[(triple2)] The cat sees the tiger.[(triple3)] The cat visits the tiger.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is big.[(triple6)] The tiger is kind.[(triple7)] The tiger is red.[(triple8)] The tiger is round.[(triple9)] The tiger visits the cat.[(triple10)] @1: The tiger eats the tiger.[(((triple8) -> rule3))]
The cat is rough.
("cat" "is" "rough" "+")
triple1
((triple3 triple9) -> (rule2 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat is round.
("cat" "is" "round" "+")
triple2
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple4
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple5
The tiger is big.
("tiger" "is" "big" "+")
triple6
The tiger is kind.
("tiger" "is" "kind" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger is round.
("tiger" "is" "round" "+")
triple9
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple10
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
((triple8) -> (rule3 % int1))
The tiger eats the tiger.
("tiger" "eats" "tiger" "+")
int1