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