The cat chases the tiger. The cat is blue. The cat is cold. The cat is nice. The cat is rough. The cat is not young. The cat likes the tiger. The cat needs the tiger. The tiger chases the cat. The tiger is not blue. The tiger is not cold. The tiger is nice. The tiger is not rough. The tiger does not like the cat. The tiger needs the cat. If someone is cold and they do not need the tiger then the tiger needs the cat. If someone is rough then they do not like the cat. If someone is nice and they need the tiger then they need the cat.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is not young.
("cat" "is" "young" "-")
The cat likes the tiger.
("cat" "likes" "tiger" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is not rough.
("tiger" "is" "rough" "-")
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If someone is cold and they do not need the tiger then the tiger needs the cat.
((("someone" "is" "cold" "+") ("someone" "needs" "tiger" "~")) -> ("tiger" "needs" "cat" "+"))
If someone is rough then they do not like the cat.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "cat" "-"))
If someone is nice and they need the tiger then they need the cat.
((("someone" "is" "nice" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "needs" "cat" "+"))
The cat is rough.
True
1
proof
[(triple5)]
("cat" "is" "rough" "+")
triple5
The cat is not cold.
False
1
inv-proof
[(triple3)]
("cat" "is" "cold" "-")
triple3
The cat does not like the cat.
True
2
proof
[(((triple5) -> rule2))]
("cat" "likes" "cat" "-")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat likes the cat.
False
2
inv-proof
[(((triple5) -> rule2))]
("cat" "likes" "cat" "+")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
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 cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The tiger is not young.
Unknown
inv-random
[@0: The tiger is young.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "young" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The cat chases the tiger.[(triple1)] The cat is blue.[(triple2)] The cat is cold.[(triple3)] The cat is nice.[(triple4)] The cat is not young.[(triple6)] The cat is rough.[(triple5)] The cat likes the tiger.[(triple7)] The cat needs the tiger.[(triple8)] The tiger chases the cat.[(triple9)] The tiger does not like the cat.[(triple14)] The tiger is nice.[(triple12)] The tiger is not blue.[(triple10)] The tiger is not cold.[(triple11)] The tiger is not rough.[(triple13)] The tiger needs the cat.[(triple15)] @1: The cat does not like the cat.[(((triple5) -> rule2))] The cat needs the cat.[(((triple4 triple8) -> rule3))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat is blue.
("cat" "is" "blue" "+")
triple2
The cat is cold.
("cat" "is" "cold" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is not young.
("cat" "is" "young" "-")
triple6
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat likes the tiger.
("cat" "likes" "tiger" "+")
triple7
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple8
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple9
The tiger does not like the cat.
("tiger" "likes" "cat" "-")
triple14
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is not blue.
("tiger" "is" "blue" "-")
triple10
The tiger is not cold.
("tiger" "is" "cold" "-")
triple11
The tiger is not rough.
("tiger" "is" "rough" "-")
triple13
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple15
The cat does not like the cat.
("cat" "likes" "cat" "-")
((triple5) -> (rule2 % int1))
The cat does not like the cat.
("cat" "likes" "cat" "-")
int1
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple4 triple8) -> (rule3 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1