The cat chases the tiger. The cat is cold. The cat is kind. The cat is nice. The cat is rough. The cat sees the tiger. The cat visits the tiger. The tiger chases the cat. The tiger is cold. The tiger is green. The tiger is kind. The tiger is nice. The tiger is rough. The tiger sees the cat. The tiger visits the cat. If something is kind then it sees the tiger. If something visits the tiger and the tiger visits the cat then it chases the cat.
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the tiger.
("cat" "sees" "tiger" "+")
The cat visits the tiger.
("cat" "visits" "tiger" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger sees the cat.
("tiger" "sees" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If something is kind then it sees the tiger.
((("something" "is" "kind" "+")) -> ("something" "sees" "tiger" "+"))
If something visits the tiger and the tiger visits the cat then it chases the cat.
((("something" "visits" "tiger" "+") ("tiger" "visits" "cat" "+")) -> ("something" "chases" "cat" "+"))
The cat chases the tiger.
True
1
proof
[(triple1)]
("cat" "chases" "tiger" "+")
triple1
The cat is not nice.
False
1
inv-proof
[(triple4)]
("cat" "is" "nice" "-")
triple4
The tiger sees the tiger.
True
2
proof
[(((triple11) -> rule1))]
("tiger" "sees" "tiger" "+")
((triple11) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The cat does not chase the cat.
False
3
inv-proof
[(((triple7 triple15) -> rule2))]
("cat" "chases" "cat" "-")
((triple7 triple15) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
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 chases the tiger.[(triple1)] The cat is cold.[(triple2)] The cat is kind.[(triple3)] The cat is nice.[(triple4)] The cat is rough.[(triple5)] The cat sees the tiger.[(triple6 OR ((triple3) -> rule1))] The cat visits the tiger.[(triple7)] The tiger chases the cat.[(triple8)] The tiger is cold.[(triple9)] The tiger is green.[(triple10)] The tiger is kind.[(triple11)] The tiger is nice.[(triple12)] The tiger is rough.[(triple13)] The tiger sees the cat.[(triple14)] The tiger visits the cat.[(triple15)] @1: The cat chases the cat.[(((triple7 triple15) -> rule2))] The tiger sees the tiger.[(((triple11) -> rule1))]
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is rough.
("cat" "is" "rough" "+")
triple5
The cat sees the tiger.
("cat" "sees" "tiger" "+")
triple6
((triple3) -> (rule1 % int1))
The cat sees the tiger.
("cat" "sees" "tiger" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
triple7
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple8
The tiger is cold.
("tiger" "is" "cold" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is kind.
("tiger" "is" "kind" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger is rough.
("tiger" "is" "rough" "+")
triple13
The tiger sees the cat.
("tiger" "sees" "cat" "+")
triple14
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple15
The cat chases the cat.
("cat" "chases" "cat" "+")
((triple7 triple15) -> (rule2 % int1))
The cat chases the cat.
("cat" "chases" "cat" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple11) -> (rule1 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1