The bear eats the dog. The bear is young. The bear visits the dog. The bear visits the rabbit. The dog eats the rabbit. The dog is red. The dog is young. The dog sees the rabbit. The dog visits the bear. The rabbit sees the bear. If someone sees the rabbit then they see the bear. If someone sees the rabbit then the rabbit visits the bear. If the dog sees the rabbit then the dog visits the bear. Young people are green. If someone is green then they are nice. If someone visits the bear then they see the bear.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the bear.
("dog" "visits" "bear" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If someone sees the rabbit then they see the bear.
((("someone" "sees" "rabbit" "+")) -> ("someone" "sees" "bear" "+"))
If someone sees the rabbit then the rabbit visits the bear.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "visits" "bear" "+"))
If the dog sees the rabbit then the dog visits the bear.
((("dog" "sees" "rabbit" "+")) -> ("dog" "visits" "bear" "+"))
Young people are green.
((("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the bear then they see the bear.
((("someone" "visits" "bear" "+")) -> ("someone" "sees" "bear" "+"))
The dog is red.
True
1
proof
[(triple6)]
("dog" "is" "red" "+")
triple6
The bear does not visit the dog.
False
1
inv-proof
[(triple3)]
("bear" "visits" "dog" "-")
triple3
The dog is green.
True
2
proof
[(((triple7) -> rule4))]
("dog" "is" "green" "+")
((triple7) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog is not green.
False
2
inv-proof
[(((triple7) -> rule4))]
("dog" "is" "green" "-")
((triple7) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The bear is nice.
True
3
proof
[(((((triple2) -> rule4)) -> rule5))]
("bear" "is" "nice" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The dog is not nice.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule5))]
("dog" "is" "nice" "-")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The rabbit is not nice.
Unknown
inv-rconc
[@2: The rabbit is nice.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit is green.
Unknown
rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "green" "+")
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bear" "-")
The dog eats the bear.
Unknown
random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "+")
The bear is not round.
Unknown
inv-random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The bear eats the dog.[(triple1)] The bear is young.[(triple2)] The bear visits the dog.[(triple3)] The bear visits the rabbit.[(triple4)] The dog eats the rabbit.[(triple5)] The dog is red.[(triple6)] The dog is young.[(triple7)] The dog sees the rabbit.[(triple8)] The dog visits the bear.[(triple9 OR ((triple8) -> rule3))] The rabbit sees the bear.[(triple10 OR ((((triple8) -> rule2)) -> rule6))] @1: The bear is green.[(((triple2) -> rule4))] The dog is green.[(((triple7) -> rule4))] The dog sees the bear.[(((triple8) -> rule1) OR ((triple9) -> rule6) OR ((((triple8) -> rule3)) -> rule6))] The rabbit visits the bear.[(((triple8) -> rule2))] @2: The bear is nice.[(((((triple2) -> rule4)) -> rule5))] The dog is nice.[(((((triple7) -> rule4)) -> rule5))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple8
The dog visits the bear.
("dog" "visits" "bear" "+")
triple9
((triple8) -> (rule3 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10
((((triple8) -> (rule2 % int2))) -> (rule6 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int2
The bear is green.
("bear" "is" "green" "+")
((triple2) -> (rule4 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((triple7) -> (rule4 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
((triple8) -> (rule1 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
((triple9) -> (rule6 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
((((triple8) -> (rule3 % int2))) -> (rule6 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
((triple8) -> (rule2 % int1))
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
int1
The bear is nice.
("bear" "is" "nice" "+")
((((triple2) -> (rule4 % int2))) -> (rule5 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2