The dog chases the squirrel. The dog is blue. The dog is cold. The dog is round. The dog is young. The dog needs the tiger. The squirrel chases the tiger. The squirrel is cold. The squirrel is round. The tiger does not chase the squirrel. The tiger is blue. The tiger is kind. The tiger is round. The tiger needs the squirrel. The tiger visits the squirrel. If the squirrel chases the dog then the squirrel does not chase the tiger. If someone chases the squirrel then they do not chase the tiger. If someone visits the squirrel then they are blue. If someone visits the squirrel and the squirrel chases the dog then the squirrel is round. If someone needs the tiger and the tiger visits the dog then they are not young. If someone chases the dog and they are not kind then they are young. If someone needs the tiger and the tiger visits the squirrel then they do not visit the squirrel. If someone needs the dog then they are not round.
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If the squirrel chases the dog then the squirrel does not chase the tiger.
((("squirrel" "chases" "dog" "+")) -> ("squirrel" "chases" "tiger" "-"))
If someone chases the squirrel then they do not chase the tiger.
((("someone" "chases" "squirrel" "+")) -> ("someone" "chases" "tiger" "-"))
If someone visits the squirrel then they are blue.
((("someone" "visits" "squirrel" "+")) -> ("someone" "is" "blue" "+"))
If someone visits the squirrel and the squirrel chases the dog then the squirrel is round.
((("someone" "visits" "squirrel" "+") ("squirrel" "chases" "dog" "+")) -> ("squirrel" "is" "round" "+"))
If someone needs the tiger and the tiger visits the dog then they are not young.
((("someone" "needs" "tiger" "+") ("tiger" "visits" "dog" "+")) -> ("someone" "is" "young" "-"))
If someone chases the dog and they are not kind then they are young.
((("someone" "chases" "dog" "+") ("someone" "is" "kind" "~")) -> ("someone" "is" "young" "+"))
If someone needs the tiger and the tiger visits the squirrel then they do not visit the squirrel.
((("someone" "needs" "tiger" "+") ("tiger" "visits" "squirrel" "+")) -> ("someone" "visits" "squirrel" "-"))
If someone needs the dog then they are not round.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "round" "-"))
The dog needs the tiger.
True
1
proof
[(triple6)]
("dog" "needs" "tiger" "+")
triple6
The tiger does not visit the squirrel.
False
1
inv-proof
[(triple15)]
("tiger" "visits" "squirrel" "-")
triple15
The squirrel is not blue.
Unknown
inv-rconc
[@1: The squirrel is blue.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "is" "blue" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The dog chases the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog is cold.[(triple3)] The dog is round.[(triple4)] The dog is young.[(triple5)] The dog needs the tiger.[(triple6)] The squirrel chases the tiger.[(triple7)] The squirrel is cold.[(triple8)] The squirrel is round.[(triple9)] The tiger does not chase the squirrel.[(triple10)] The tiger is blue.[(triple11 OR ((triple15) -> rule3))] The tiger is kind.[(triple12)] The tiger is round.[(triple13)] The tiger needs the squirrel.[(triple14)] The tiger visits the squirrel.[(triple15)] @1: The dog does not chase the tiger.[(((triple1) -> rule2))] The dog does not visit the squirrel.[(((triple6 triple15) -> rule7))]
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is round.
("dog" "is" "round" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple6
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple7
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple8
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The tiger does not chase the squirrel.
("tiger" "chases" "squirrel" "-")
triple10
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
((triple15) -> (rule3 % int1))
The tiger is blue.
("tiger" "is" "blue" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
triple12
The tiger is round.
("tiger" "is" "round" "+")
triple13
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple14
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple15
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
((triple1) -> (rule2 % int1))
The dog does not chase the tiger.
("dog" "chases" "tiger" "-")
int1
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
((triple6 triple15) -> (rule7 % int1))
The dog does not visit the squirrel.
("dog" "visits" "squirrel" "-")
int1