The cat chases the tiger. The cat eats the tiger. The cat is big. The cat is young. The cat likes the tiger. The tiger chases the cat. The tiger eats the cat. The tiger is big. The tiger is kind. The tiger likes the cat. If the cat likes the tiger then the tiger is blue.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat eats the tiger.
("cat" "eats" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is young.
("cat" "is" "young" "+")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger likes the cat.
("tiger" "likes" "cat" "+")
If the cat likes the tiger then the tiger is blue.
((("cat" "likes" "tiger" "+")) -> ("tiger" "is" "blue" "+"))
The tiger eats the cat.
True
1
proof
[(triple7)]
("tiger" "eats" "cat" "+")
triple7
The tiger is not kind.
False
1
inv-proof
[(triple9)]
("tiger" "is" "kind" "-")
triple9
The tiger is blue.
True
2
proof
[(((triple5) -> rule1))]
("tiger" "is" "blue" "+")
((triple5) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not blue.
False
2
inv-proof
[(((triple5) -> rule1))]
("tiger" "is" "blue" "-")
((triple5) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is not round.
Unknown
inv-random
[@0: The tiger is round.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "round" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
The cat is not round.
Unknown
inv-random
[@0: The cat is round.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "round" "-")
The tiger chases the tiger.
Unknown
random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "+")
@0: The cat chases the tiger.[(triple1)] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The cat is young.[(triple4)] The cat likes the tiger.[(triple5)] The tiger chases the cat.[(triple6)] The tiger eats the cat.[(triple7)] The tiger is big.[(triple8)] The tiger is kind.[(triple9)] The tiger likes the cat.[(triple10)] @1: The tiger is blue.[(((triple5) -> rule1))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple5
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple6
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple7
The tiger is big.
("tiger" "is" "big" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger likes the cat.
("tiger" "likes" "cat" "+")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
((triple5) -> (rule1 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1