The cow chases the dog. The cow eats the dog. The cow is kind. The cow is young. The cow visits the dog. The dog chases the cow. The dog is big. The dog is nice. The dog is young. The dog visits the cow. If someone visits the dog then they are big.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone visits the dog then they are big.
((("someone" "visits" "dog" "+")) -> ("someone" "is" "big" "+"))
The dog is nice.
True
1
proof
[(triple8)]
("dog" "is" "nice" "+")
triple8
The dog is not big.
False
1
inv-proof
[(triple7)]
("dog" "is" "big" "-")
triple7
The cow is big.
True
2
proof
[(((triple5) -> rule1))]
("cow" "is" "big" "+")
((triple5) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The cow is not big.
False
2
inv-proof
[(((triple5) -> rule1))]
("cow" "is" "big" "-")
((triple5) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The cow is not nice.
Unknown
inv-random
[@0: The cow is nice.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "nice" "-")
The cow eats the cow.
Unknown
random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "+")
@0: The cow chases the dog.[(triple1)] The cow eats the dog.[(triple2)] The cow is kind.[(triple3)] The cow is young.[(triple4)] The cow visits the dog.[(triple5)] The dog chases the cow.[(triple6)] The dog is big.[(triple7)] The dog is nice.[(triple8)] The dog is young.[(triple9)] The dog visits the cow.[(triple10)] @1: The cow is big.[(((triple5) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow eats the dog.
("cow" "eats" "dog" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow visits the dog.
("cow" "visits" "dog" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
((triple5) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1