The dog chases the rabbit. The dog eats the rabbit. The dog is big. The dog is kind. The dog is round. The dog visits the rabbit. The rabbit chases the dog. The rabbit eats the dog. The rabbit is big. The rabbit is kind. The rabbit is round. The rabbit visits the dog. If someone eats the rabbit and they eat the dog then the dog eats the rabbit. If the rabbit chases the dog and the dog eats the rabbit then the dog is rough. If someone is rough and round then they chase the dog. If someone chases the rabbit then they eat the rabbit. If someone chases the dog and they are nice then they chase the rabbit. If the dog is round then the dog visits the rabbit. Kind people are nice. If someone visits the dog and they are kind then the dog chases the rabbit.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is round.
("dog" "is" "round" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If someone eats the rabbit and they eat the dog then the dog eats the rabbit.
((("someone" "eats" "rabbit" "+") ("someone" "eats" "dog" "+")) -> ("dog" "eats" "rabbit" "+"))
If the rabbit chases the dog and the dog eats the rabbit then the dog is rough.
((("rabbit" "chases" "dog" "+") ("dog" "eats" "rabbit" "+")) -> ("dog" "is" "rough" "+"))
If someone is rough and round then they chase the dog.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "chases" "dog" "+"))
If someone chases the rabbit then they eat the rabbit.
((("someone" "chases" "rabbit" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone chases the dog and they are nice then they chase the rabbit.
((("someone" "chases" "dog" "+") ("someone" "is" "nice" "+")) -> ("someone" "chases" "rabbit" "+"))
If the dog is round then the dog visits the rabbit.
((("dog" "is" "round" "+")) -> ("dog" "visits" "rabbit" "+"))
Kind people are nice.
((("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the dog and they are kind then the dog chases the rabbit.
((("someone" "visits" "dog" "+") ("someone" "is" "kind" "+")) -> ("dog" "chases" "rabbit" "+"))
The dog is round.
True
1
proof
[(triple5)]
("dog" "is" "round" "+")
triple5
The rabbit does not eat the dog.
False
1
inv-proof
[(triple8)]
("rabbit" "eats" "dog" "-")
triple8
The dog is rough.
True
3
proof
[(((triple7 triple2) -> rule2) OR ((triple7 ((triple1) -> rule4)) -> rule2) OR ((triple7 ((((triple12 triple10) -> rule8)) -> rule4)) -> rule2) OR ((triple7 ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1)) -> rule2))]
("dog" "is" "rough" "+")
((triple7 triple2) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((triple7 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
((triple7 ((((triple12 triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int3
((triple7 ((((((triple7 ((triple10) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
The dog is not nice.
False
2
inv-proof
[(((triple4) -> rule7))]
("dog" "is" "nice" "-")
((triple4) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The rabbit chases the rabbit.
True
4
proof
[(((triple7 ((triple10) -> rule7)) -> rule5))]
("rabbit" "chases" "rabbit" "+")
((triple7 ((triple10) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit does not chase the rabbit.
False
4
inv-proof
[(((triple7 ((triple10) -> rule7)) -> rule5))]
("rabbit" "chases" "rabbit" "-")
((triple7 ((triple10) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit eats the rabbit.
True
5
proof
[(((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4))]
("rabbit" "eats" "rabbit" "+")
((((triple7 ((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit does not eat the rabbit.
False
5
inv-proof
[(((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4))]
("rabbit" "eats" "rabbit" "-")
((((triple7 ((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The dog chases the rabbit.[(triple1 OR ((triple12 triple10) -> rule8) OR ((((((triple7 triple2) -> rule2) triple5) -> rule3) ((triple4) -> rule7)) -> rule5) OR ((((((triple7 ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1)) -> rule2) triple5) -> rule3) ((triple4) -> rule7)) -> rule5))] The dog eats the rabbit.[(triple2 OR ((triple1) -> rule4) OR ((((triple12 triple10) -> rule8)) -> rule4) OR ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1))] The dog is big.[(triple3)] The dog is kind.[(triple4)] The dog is round.[(triple5)] The dog visits the rabbit.[(triple6 OR ((triple5) -> rule6))] The rabbit chases the dog.[(triple7)] The rabbit eats the dog.[(triple8)] The rabbit is big.[(triple9)] The rabbit is kind.[(triple10)] The rabbit is round.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The dog is nice.[(((triple4) -> rule7))] The dog is rough.[(((triple7 triple2) -> rule2) OR ((triple7 ((triple1) -> rule4)) -> rule2) OR ((triple7 ((((triple12 triple10) -> rule8)) -> rule4)) -> rule2) OR ((triple7 ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1)) -> rule2))] The rabbit is nice.[(((triple10) -> rule7))] @2: The dog chases the dog.[(((((triple7 triple2) -> rule2) triple5) -> rule3) OR ((((triple7 ((triple1) -> rule4)) -> rule2) triple5) -> rule3) OR ((((triple7 ((((triple12 triple10) -> rule8)) -> rule4)) -> rule2) triple5) -> rule3) OR ((((triple7 ((((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4) triple8) -> rule1)) -> rule2) triple5) -> rule3))] The rabbit chases the rabbit.[(((triple7 ((triple10) -> rule7)) -> rule5))] @3: The rabbit eats the rabbit.[(((((triple7 ((triple10) -> rule7)) -> rule5)) -> rule4))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
((triple12 triple10) -> (rule8 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
((((((triple7 triple2) -> (rule2 % int4)) triple5) -> (rule3 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
((((((triple7 ((((((triple7 ((triple10) -> (rule7 % int8))) -> (rule5 % int7))) -> (rule4 % int6)) triple8) -> (rule1 % int5))) -> (rule2 % int4)) triple5) -> (rule3 % int3)) ((triple4) -> (rule7 % int2))) -> (rule5 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog chases the dog.
("dog" "chases" "dog" "+")
int3
The dog is rough.
("dog" "is" "rough" "+")
int4
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int5
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int6
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int7
The rabbit is nice.
("rabbit" "is" "nice" "+")
int8
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
((triple1) -> (rule4 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
((((triple12 triple10) -> (rule8 % int2))) -> (rule4 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
((((((triple7 ((triple10) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple8) -> (rule1 % int1))
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int2
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int3
The rabbit is nice.
("rabbit" "is" "nice" "+")
int4
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple6
((triple5) -> (rule6 % int1))
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
int1
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple7
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple8
The rabbit is big.
("rabbit" "is" "big" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit is round.
("rabbit" "is" "round" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
The dog is nice.
("dog" "is" "nice" "+")
((triple4) -> (rule7 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
((triple7 triple2) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
((triple7 ((triple1) -> (rule4 % int2))) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
((triple7 ((((triple12 triple10) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int3
((triple7 ((((((triple7 ((triple10) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int3
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int4
The rabbit is nice.
("rabbit" "is" "nice" "+")
int5
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple10) -> (rule7 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((((triple7 triple2) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
((((triple7 ((triple1) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int3
((((triple7 ((((triple12 triple10) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int3
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int4
((((triple7 ((((((triple7 ((triple10) -> (rule7 % int6))) -> (rule5 % int5))) -> (rule4 % int4)) triple8) -> (rule1 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
int3
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int4
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int5
The rabbit is nice.
("rabbit" "is" "nice" "+")
int6
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple7 ((triple10) -> (rule7 % int2))) -> (rule5 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((triple7 ((triple10) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3