The cow is green. The cow is round. The cow is young. The cow visits the dog. The cow visits the rabbit. The dog chases the rabbit. The dog eats the rabbit. The dog is round. The dog is young. The dog visits the cow. The rabbit chases the cow. The rabbit chases the dog. The rabbit eats the dog. The rabbit is green. The rabbit is kind. The rabbit visits the dog. If something eats the cow and the cow is young then the cow visits the dog. If something eats the cow then the cow is young. All round things are green. If something visits the dog then it chases the dog. If something is round then it visits the dog. If something visits the dog then it chases the dog. If something chases the rabbit then it is kind. If something eats the cow and the cow chases the rabbit then it chases the cow.
The cow is green.
("cow" "is" "green" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something eats the cow and the cow is young then the cow visits the dog.
((("something" "eats" "cow" "+") ("cow" "is" "young" "+")) -> ("cow" "visits" "dog" "+"))
If something eats the cow then the cow is young.
((("something" "eats" "cow" "+")) -> ("cow" "is" "young" "+"))
All round things are green.
((("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
If something visits the dog then it chases the dog.
((("something" "visits" "dog" "+")) -> ("something" "chases" "dog" "+"))
If something is round then it visits the dog.
((("something" "is" "round" "+")) -> ("something" "visits" "dog" "+"))
If something visits the dog then it chases the dog.
((("something" "visits" "dog" "+")) -> ("something" "chases" "dog" "+"))
If something chases the rabbit then it is kind.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "kind" "+"))
If something eats the cow and the cow chases the rabbit then it chases the cow.
((("something" "eats" "cow" "+") ("cow" "chases" "rabbit" "+")) -> ("something" "chases" "cow" "+"))
The rabbit chases the dog.
True
1
proof
[(triple12 OR ((triple16) -> rule4) OR ((triple16) -> rule6))]
("rabbit" "chases" "dog" "+")
triple12
((triple16) -> (rule4 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((triple16) -> (rule6 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The dog does not eat the rabbit.
False
1
inv-proof
[(triple7)]
("dog" "eats" "rabbit" "-")
triple7
The dog is kind.
True
2
proof
[(((triple6) -> rule7))]
("dog" "is" "kind" "+")
((triple6) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog does not visit the dog.
False
2
inv-proof
[(((triple8) -> rule5))]
("dog" "visits" "dog" "-")
((triple8) -> (rule5 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog chases the dog.
True
3
proof
[(((((triple8) -> rule5)) -> rule4) OR ((((triple8) -> rule5)) -> rule6))]
("dog" "chases" "dog" "+")
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog does not chase the dog.
False
3
inv-proof
[(((((triple8) -> rule5)) -> rule4) OR ((((triple8) -> rule5)) -> rule6))]
("dog" "chases" "dog" "-")
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
The dog does not chase the cow.
Unknown
inv-rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "chases" "cow" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "is" "kind" "+")
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "chases" "cow" "-")
The rabbit is round.
Unknown
random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The cow chases the rabbit.
Unknown
random
[@0: The cow chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "rabbit" "+")
@0: The cow is green.[(triple1 OR ((triple2) -> rule3))] The cow is round.[(triple2)] The cow is young.[(triple3)] The cow visits the dog.[(triple4 OR ((triple2) -> rule5))] The cow visits the rabbit.[(triple5)] The dog chases the rabbit.[(triple6)] The dog eats the rabbit.[(triple7)] The dog is round.[(triple8)] The dog is young.[(triple9)] The dog visits the cow.[(triple10)] The rabbit chases the cow.[(triple11)] The rabbit chases the dog.[(triple12 OR ((triple16) -> rule4) OR ((triple16) -> rule6))] The rabbit eats the dog.[(triple13)] The rabbit is green.[(triple14)] The rabbit is kind.[(triple15)] The rabbit visits the dog.[(triple16)] @1: The cow chases the dog.[(((triple4) -> rule4) OR ((triple4) -> rule6) OR ((((triple2) -> rule5)) -> rule4) OR ((((triple2) -> rule5)) -> rule6))] The dog is green.[(((triple8) -> rule3))] The dog is kind.[(((triple6) -> rule7))] The dog visits the dog.[(((triple8) -> rule5))] @2: The dog chases the dog.[(((((triple8) -> rule5)) -> rule4) OR ((((triple8) -> rule5)) -> rule6))]
The cow is green.
("cow" "is" "green" "+")
triple1
((triple2) -> (rule3 % int1))
The cow is green.
("cow" "is" "green" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow visits the dog.
("cow" "visits" "dog" "+")
triple4
((triple2) -> (rule5 % int1))
The cow visits the dog.
("cow" "visits" "dog" "+")
int1
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple5
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple6
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple11
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple12
((triple16) -> (rule4 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((triple16) -> (rule6 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple13
The rabbit is green.
("rabbit" "is" "green" "+")
triple14
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple15
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple16
The cow chases the dog.
("cow" "chases" "dog" "+")
((triple4) -> (rule4 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((triple4) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule4 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2
((((triple2) -> (rule5 % int2))) -> (rule6 % int1))
The cow chases the dog.
("cow" "chases" "dog" "+")
int1
The cow visits the dog.
("cow" "visits" "dog" "+")
int2
The dog is green.
("dog" "is" "green" "+")
((triple8) -> (rule3 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple6) -> (rule7 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
((triple8) -> (rule5 % int1))
The dog visits the dog.
("dog" "visits" "dog" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple8) -> (rule5 % int2))) -> (rule4 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2
((((triple8) -> (rule5 % int2))) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog visits the dog.
("dog" "visits" "dog" "+")
int2