The bear is kind. The bear is nice. The bear does not see the cow. The bear does not see the dog. The bear sees the rabbit. The bear does not visit the cow. The cow is not kind. The cow is nice. The cow does not like the rabbit. The cow sees the bear. The cow sees the rabbit. The dog is big. The dog is cold. The dog is nice. The rabbit is young. The rabbit does not see the dog. If someone likes the cow and the cow likes the dog then the dog is young. If someone likes the rabbit and they do not see the rabbit then they see the dog. If someone sees the dog and the dog does not see the cow then they like the cow. If someone sees the rabbit then the rabbit is nice. If someone is young then they like the rabbit. If someone is kind and they do not see the dog then they visit the rabbit. If someone is cold then they are big. If someone visits the rabbit then they are big.
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear does not see the cow.
("bear" "sees" "cow" "-")
The bear does not see the dog.
("bear" "sees" "dog" "-")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear does not visit the cow.
("bear" "visits" "cow" "-")
The cow is not kind.
("cow" "is" "kind" "-")
The cow is nice.
("cow" "is" "nice" "+")
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
The cow sees the bear.
("cow" "sees" "bear" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is nice.
("dog" "is" "nice" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit does not see the dog.
("rabbit" "sees" "dog" "-")
If someone likes the cow and the cow likes the dog then the dog is young.
((("someone" "likes" "cow" "+") ("cow" "likes" "dog" "+")) -> ("dog" "is" "young" "+"))
If someone likes the rabbit and they do not see the rabbit then they see the dog.
((("someone" "likes" "rabbit" "+") ("someone" "sees" "rabbit" "~")) -> ("someone" "sees" "dog" "+"))
If someone sees the dog and the dog does not see the cow then they like the cow.
((("someone" "sees" "dog" "+") ("dog" "sees" "cow" "~")) -> ("someone" "likes" "cow" "+"))
If someone sees the rabbit then the rabbit is nice.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If someone is young then they like the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone is kind and they do not see the dog then they visit the rabbit.
((("someone" "is" "kind" "+") ("someone" "sees" "dog" "~")) -> ("someone" "visits" "rabbit" "+"))
If someone is cold then they are big.
((("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone visits the rabbit then they are big.
((("someone" "visits" "rabbit" "+")) -> ("someone" "is" "big" "+"))
The cow is not kind.
True
1
proof
[(triple7)]
("cow" "is" "kind" "-")
triple7
The dog is not cold.
False
1
inv-proof
[(triple13)]
("dog" "is" "cold" "-")
triple13
The rabbit likes the rabbit.
True
2
proof
[(((triple15) -> rule5))]
("rabbit" "likes" "rabbit" "+")
((triple15) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit does not like the rabbit.
False
2
inv-proof
[(((triple15) -> rule5))]
("rabbit" "likes" "rabbit" "-")
((triple15) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear is big.
True
4
proof
[(((((triple1 triple4) -> rule6)) -> rule8))]
("bear" "is" "big" "+")
((((triple1 triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The bear is not big.
False
4
inv-proof
[(((((triple1 triple4) -> rule6)) -> rule8))]
("bear" "is" "big" "-")
((((triple1 triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2
The dog does not visit the rabbit.
Unknown
inv-rconc
[@1: The dog visits the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "visits" "rabbit" "-")
The dog is young.
Unknown
rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "+")
The rabbit does not like the cow.
Unknown
inv-rconc
[@1: The rabbit likes the cow.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "likes" "cow" "-")
The rabbit likes the bear.
Unknown
random
[@0: The rabbit likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bear" "+")
The bear does not see the bear.
Unknown
inv-random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear does not see the cow.[(triple3)] The bear does not see the dog.[(triple4)] The bear does not visit the cow.[(triple6)] The bear is kind.[(triple1)] The bear is nice.[(triple2)] The bear sees the rabbit.[(triple5)] The cow does not like the rabbit.[(triple9)] The cow is nice.[(triple8)] The cow is not kind.[(triple7)] The cow sees the bear.[(triple10)] The cow sees the rabbit.[(triple11)] The dog is big.[(triple12 OR ((triple13) -> rule7))] The dog is cold.[(triple13)] The dog is nice.[(triple14)] The rabbit does not see the dog.[(triple16)] The rabbit is young.[(triple15)] @1: The bear visits the rabbit.[(((triple1 triple4) -> rule6))] The rabbit is nice.[(((triple11) -> rule4) OR ((triple5) -> rule4))] The rabbit likes the rabbit.[(((triple15) -> rule5))] @2: The bear is big.[(((((triple1 triple4) -> rule6)) -> rule8))]
The bear does not see the cow.
("bear" "sees" "cow" "-")
triple3
The bear does not see the dog.
("bear" "sees" "dog" "-")
triple4
The bear does not visit the cow.
("bear" "visits" "cow" "-")
triple6
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The cow does not like the rabbit.
("cow" "likes" "rabbit" "-")
triple9
The cow is nice.
("cow" "is" "nice" "+")
triple8
The cow is not kind.
("cow" "is" "kind" "-")
triple7
The cow sees the bear.
("cow" "sees" "bear" "+")
triple10
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple11
The dog is big.
("dog" "is" "big" "+")
triple12
((triple13) -> (rule7 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
triple13
The dog is nice.
("dog" "is" "nice" "+")
triple14
The rabbit does not see the dog.
("rabbit" "sees" "dog" "-")
triple16
The rabbit is young.
("rabbit" "is" "young" "+")
triple15
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
((triple1 triple4) -> (rule6 % int1))
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple11) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
((triple5) -> (rule4 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple15) -> (rule5 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The bear is big.
("bear" "is" "big" "+")
((((triple1 triple4) -> (rule6 % int2))) -> (rule8 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
int2