The dog is not cold. The dog does not like the squirrel. The dog needs the tiger. The dog visits the rabbit. The rabbit is red. The rabbit is rough. The rabbit needs the tiger. The rabbit visits the dog. The squirrel is round. The squirrel is not young. The squirrel does not like the rabbit. The squirrel does not need the dog. The squirrel needs the tiger. The squirrel visits the rabbit. The tiger is round. The tiger needs the dog. If the tiger needs the rabbit then the tiger is young. If the squirrel is young and the squirrel is rough then the squirrel is round. If the rabbit likes the tiger then the tiger does not visit the dog. If something needs the dog then it is young. If something is round and it does not visit the squirrel then the squirrel needs the dog. If something is round and young then it does not need the squirrel.
The dog is not cold.
("dog" "is" "cold" "-")
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
The squirrel is not young.
("squirrel" "is" "young" "-")
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
If the tiger needs the rabbit then the tiger is young.
((("tiger" "needs" "rabbit" "+")) -> ("tiger" "is" "young" "+"))
If the squirrel is young and the squirrel is rough then the squirrel is round.
((("squirrel" "is" "young" "+") ("squirrel" "is" "rough" "+")) -> ("squirrel" "is" "round" "+"))
If the rabbit likes the tiger then the tiger does not visit the dog.
((("rabbit" "likes" "tiger" "+")) -> ("tiger" "visits" "dog" "-"))
If something needs the dog then it is young.
((("something" "needs" "dog" "+")) -> ("something" "is" "young" "+"))
If something is round and it does not visit the squirrel then the squirrel needs the dog.
((("something" "is" "round" "+") ("something" "visits" "squirrel" "~")) -> ("squirrel" "needs" "dog" "+"))
If something is round and young then it does not need the squirrel.
((("something" "is" "round" "+") ("something" "is" "young" "+")) -> ("something" "needs" "squirrel" "-"))
The squirrel is round.
True
1
proof
[(triple9)]
("squirrel" "is" "round" "+")
triple9
The squirrel is young.
False
1
inv-proof
[(triple10)]
("squirrel" "is" "young" "+")
triple10
The tiger is young.
True
2
proof
[(((triple16) -> rule4))]
("tiger" "is" "young" "+")
((triple16) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger is not young.
False
2
inv-proof
[(((triple16) -> rule4))]
("tiger" "is" "young" "-")
((triple16) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The rabbit is not young.
Unknown
inv-rconc
[@1: The rabbit is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "young" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "young" "+")
The tiger does not like the dog.
Unknown
inv-random
[@0: The tiger likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "dog" "-")
The dog visits the tiger.
Unknown
random
[@0: The dog visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "tiger" "+")
@0: The dog does not like the squirrel.[(triple2)] The dog is not cold.[(triple1)] The dog needs the tiger.[(triple3)] The dog visits the rabbit.[(triple4)] The rabbit is red.[(triple5)] The rabbit is rough.[(triple6)] The rabbit needs the tiger.[(triple7)] The rabbit visits the dog.[(triple8)] The squirrel does not like the rabbit.[(triple11)] The squirrel does not need the dog.[(triple12)] The squirrel is not young.[(triple10)] The squirrel is round.[(triple9)] The squirrel needs the tiger.[(triple13)] The squirrel visits the rabbit.[(triple14)] The tiger is round.[(triple15)] The tiger needs the dog.[(triple16)] @1: The tiger is young.[(((triple16) -> rule4))] @2: The tiger does not need the squirrel.[(((triple15 ((triple16) -> rule4)) -> rule6))]
The dog does not like the squirrel.
("dog" "likes" "squirrel" "-")
triple2
The dog is not cold.
("dog" "is" "cold" "-")
triple1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple4
The rabbit is red.
("rabbit" "is" "red" "+")
triple5
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple6
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple7
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple8
The squirrel does not like the rabbit.
("squirrel" "likes" "rabbit" "-")
triple11
The squirrel does not need the dog.
("squirrel" "needs" "dog" "-")
triple12
The squirrel is not young.
("squirrel" "is" "young" "-")
triple10
The squirrel is round.
("squirrel" "is" "round" "+")
triple9
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple13
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple16
The tiger is young.
("tiger" "is" "young" "+")
((triple16) -> (rule4 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
((triple15 ((triple16) -> (rule4 % int2))) -> (rule6 % int1))
The tiger does not need the squirrel.
("tiger" "needs" "squirrel" "-")
int1
The tiger is young.
("tiger" "is" "young" "+")
int2