The cow eats the dog. The cow is blue. The cow is green. The cow is kind. The cow is red. The cow is round. The dog chases the cow. The dog is green. The dog is red. The dog sees the cow. If something chases the cow then it eats the cow.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is red.
("dog" "is" "red" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
If something chases the cow then it eats the cow.
((("something" "chases" "cow" "+")) -> ("something" "eats" "cow" "+"))
The cow is kind.
True
1
proof
[(triple4)]
("cow" "is" "kind" "+")
triple4
The cow is not green.
False
1
inv-proof
[(triple3)]
("cow" "is" "green" "-")
triple3
The cow does not eat the cow.
Unknown
inv-rconc
[@1: The cow eats the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "cow" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
@0: The cow eats the dog.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow is red.[(triple5)] The cow is round.[(triple6)] The dog chases the cow.[(triple7)] The dog is green.[(triple8)] The dog is red.[(triple9)] The dog sees the cow.[(triple10)] @1: The dog eats the cow.[(((triple7) -> rule1))]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow is red.
("cow" "is" "red" "+")
triple5
The cow is round.
("cow" "is" "round" "+")
triple6
The dog chases the cow.
("dog" "chases" "cow" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is red.
("dog" "is" "red" "+")
triple9
The dog sees the cow.
("dog" "sees" "cow" "+")
triple10
The dog eats the cow.
("dog" "eats" "cow" "+")
((triple7) -> (rule1 % int1))
The dog eats the cow.
("dog" "eats" "cow" "+")
int1