The cow chases the dog. The cow eats the dog. The cow is big. The cow is cold. The cow is green. The cow is nice. The cow is red. The cow sees the dog. The dog chases the cow. The dog eats the cow. The dog is big. The dog is cold. The dog is green. The dog is red. The dog sees the cow. If someone chases the dog and the dog is big then they eat the dog. If someone is red and they chase the cow then they are big. If someone sees the cow and they chase the cow then they chase the dog.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If someone chases the dog and the dog is big then they eat the dog.
((("someone" "chases" "dog" "+") ("dog" "is" "big" "+")) -> ("someone" "eats" "dog" "+"))
If someone is red and they chase the cow then they are big.
((("someone" "is" "red" "+") ("someone" "chases" "cow" "+")) -> ("someone" "is" "big" "+"))
If someone sees the cow and they chase the cow then they chase the dog.
((("someone" "sees" "cow" "+") ("someone" "chases" "cow" "+")) -> ("someone" "chases" "dog" "+"))
The cow sees the dog.
True
1
proof
[(triple8)]
("cow" "sees" "dog" "+")
triple8
The cow is not cold.
False
1
inv-proof
[(triple4)]
("cow" "is" "cold" "-")
triple4
The dog chases the dog.
True
3
proof
[(((triple15 triple9) -> rule3))]
("dog" "chases" "dog" "+")
((triple15 triple9) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog does not chase the dog.
False
3
inv-proof
[(((triple15 triple9) -> rule3))]
("dog" "chases" "dog" "-")
((triple15 triple9) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog eats the dog.
True
5
proof
[(((((triple15 triple9) -> rule3) triple11) -> rule1) OR ((((triple15 triple9) -> rule3) ((triple14 triple9) -> rule2)) -> rule1))]
("dog" "eats" "dog" "+")
((((triple15 triple9) -> (rule3 % int2)) triple11) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple15 triple9) -> (rule3 % int3)) ((triple14 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog does not eat the dog.
False
5
inv-proof
[(((((triple15 triple9) -> rule3) triple11) -> rule1) OR ((((triple15 triple9) -> rule3) ((triple14 triple9) -> rule2)) -> rule1))]
("dog" "eats" "dog" "-")
((((triple15 triple9) -> (rule3 % int2)) triple11) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple15 triple9) -> (rule3 % int3)) ((triple14 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
@0: The cow chases the dog.[(triple1)] The cow eats the dog.[(triple2 OR ((triple1 triple11) -> rule1) OR ((triple1 ((triple14 triple9) -> rule2)) -> rule1))] The cow is big.[(triple3)] The cow is cold.[(triple4)] The cow is green.[(triple5)] The cow is nice.[(triple6)] The cow is red.[(triple7)] The cow sees the dog.[(triple8)] The dog chases the cow.[(triple9)] The dog eats the cow.[(triple10)] The dog is big.[(triple11 OR ((triple14 triple9) -> rule2))] The dog is cold.[(triple12)] The dog is green.[(triple13)] The dog is red.[(triple14)] The dog sees the cow.[(triple15)] @1: The dog chases the dog.[(((triple15 triple9) -> rule3))] @2: The dog eats the dog.[(((((triple15 triple9) -> rule3) triple11) -> rule1) OR ((((triple15 triple9) -> rule3) ((triple14 triple9) -> rule2)) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
((triple1 triple11) -> (rule1 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
((triple1 ((triple14 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The cow is big.
("cow" "is" "big" "+")
triple3
The cow is cold.
("cow" "is" "cold" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The cow sees the dog.
("cow" "sees" "dog" "+")
triple8
The dog chases the cow.
("dog" "chases" "cow" "+")
triple9
The dog eats the cow.
("dog" "eats" "cow" "+")
triple10
The dog is big.
("dog" "is" "big" "+")
triple11
((triple14 triple9) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
triple12
The dog is green.
("dog" "is" "green" "+")
triple13
The dog is red.
("dog" "is" "red" "+")
triple14
The dog sees the cow.
("dog" "sees" "cow" "+")
triple15
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple15 triple9) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((((triple15 triple9) -> (rule3 % int2)) triple11) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
int2
((((triple15 triple9) -> (rule3 % int3)) ((triple14 triple9) -> (rule2 % int2))) -> (rule1 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog is big.
("dog" "is" "big" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3