The cow is nice. The dog visits the squirrel. The squirrel is young. The tiger eats the dog. If something eats the dog and the dog visits the squirrel then the dog is cold. If something visits the dog and it chases the tiger then the tiger visits the dog.
The cow is nice.
("cow" "is" "nice" "+")
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
If something eats the dog and the dog visits the squirrel then the dog is cold.
((("something" "eats" "dog" "+") ("dog" "visits" "squirrel" "+")) -> ("dog" "is" "cold" "+"))
If something visits the dog and it chases the tiger then the tiger visits the dog.
((("something" "visits" "dog" "+") ("something" "chases" "tiger" "+")) -> ("tiger" "visits" "dog" "+"))
The dog visits the squirrel.
True
1
proof
[(triple2)]
("dog" "visits" "squirrel" "+")
triple2
The squirrel is not young.
False
1
inv-proof
[(triple3)]
("squirrel" "is" "young" "-")
triple3
The dog is cold.
True
3
proof
[(((triple4 triple2) -> rule1))]
("dog" "is" "cold" "+")
((triple4 triple2) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The dog is not cold.
False
3
inv-proof
[(((triple4 triple2) -> rule1))]
("dog" "is" "cold" "-")
((triple4 triple2) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The tiger does not visit the dog.
Unknown
inv-rconc
[@1: The tiger visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "dog" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
The tiger does not chase the cow.
Unknown
inv-random
[@0: The tiger chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "cow" "-")
The tiger visits the tiger.
Unknown
random
[@0: The tiger visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "tiger" "+")
@0: The cow is nice.[(triple1)] The dog visits the squirrel.[(triple2)] The squirrel is young.[(triple3)] The tiger eats the dog.[(triple4)] @1: The dog is cold.[(((triple4 triple2) -> rule1))]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The dog visits the squirrel.
("dog" "visits" "squirrel" "+")
triple2
The squirrel is young.
("squirrel" "is" "young" "+")
triple3
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
((triple4 triple2) -> (rule1 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1