The bear chases the rabbit. The bear is kind. The bear is nice. The bear needs the rabbit. The bear visits the rabbit. The bear visits the squirrel. The dog chases the bear. The dog chases the squirrel. The dog is big. The dog is blue. The dog is kind. The rabbit chases the bear. The rabbit is nice. The rabbit visits the dog. The squirrel needs the dog. The squirrel needs the rabbit. If someone needs the rabbit and they chase the rabbit then they need the squirrel. If someone is blue and they visit the squirrel then they are nice. If someone needs the squirrel and the squirrel needs the rabbit then the squirrel chases the rabbit. If the bear visits the dog then the bear is kind. If the dog needs the bear then the bear visits the squirrel. If someone is big then they need the rabbit.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
If someone needs the rabbit and they chase the rabbit then they need the squirrel.
((("someone" "needs" "rabbit" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is blue and they visit the squirrel then they are nice.
((("someone" "is" "blue" "+") ("someone" "visits" "squirrel" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the squirrel and the squirrel needs the rabbit then the squirrel chases the rabbit.
((("someone" "needs" "squirrel" "+") ("squirrel" "needs" "rabbit" "+")) -> ("squirrel" "chases" "rabbit" "+"))
If the bear visits the dog then the bear is kind.
((("bear" "visits" "dog" "+")) -> ("bear" "is" "kind" "+"))
If the dog needs the bear then the bear visits the squirrel.
((("dog" "needs" "bear" "+")) -> ("bear" "visits" "squirrel" "+"))
If someone is big then they need the rabbit.
((("someone" "is" "big" "+")) -> ("someone" "needs" "rabbit" "+"))
The bear needs the rabbit.
True
1
proof
[(triple4)]
("bear" "needs" "rabbit" "+")
triple4
The bear is not nice.
False
1
inv-proof
[(triple3)]
("bear" "is" "nice" "-")
triple3
The bear needs the squirrel.
True
3
proof
[(((triple4 triple1) -> rule1))]
("bear" "needs" "squirrel" "+")
((triple4 triple1) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The bear does not need the squirrel.
False
3
inv-proof
[(((triple4 triple1) -> rule1))]
("bear" "needs" "squirrel" "-")
((triple4 triple1) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The squirrel chases the rabbit.
True
5
proof
[(((((triple4 triple1) -> rule1) triple16) -> rule3))]
("squirrel" "chases" "rabbit" "+")
((((triple4 triple1) -> (rule1 % int2)) triple16) -> (rule3 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel does not chase the rabbit.
False
5
inv-proof
[(((((triple4 triple1) -> rule1) triple16) -> rule3))]
("squirrel" "chases" "rabbit" "-")
((((triple4 triple1) -> (rule1 % int2)) triple16) -> (rule3 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel needs the squirrel.
True
7
proof
[(((triple16 ((((triple4 triple1) -> rule1) triple16) -> rule3)) -> rule1))]
("squirrel" "needs" "squirrel" "+")
((triple16 ((((triple4 triple1) -> (rule1 % int3)) triple16) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The squirrel does not need the squirrel.
False
7
inv-proof
[(((triple16 ((((triple4 triple1) -> rule1) triple16) -> rule3)) -> rule1))]
("squirrel" "needs" "squirrel" "-")
((triple16 ((((triple4 triple1) -> (rule1 % int3)) triple16) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3
The rabbit does not need the squirrel.
Unknown
inv-rconc
[@1: The rabbit needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "needs" "squirrel" "-")
The rabbit needs the rabbit.
Unknown
rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "needs" "rabbit" "+")
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "nice" "-")
The dog needs the squirrel.
Unknown
rconc
[@1: The dog needs the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "squirrel" "+")
The squirrel does not chase the bear.
Unknown
inv-random
[@0: The squirrel chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "bear" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
The squirrel is not kind.
Unknown
inv-random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bear chases the rabbit.[(triple1)] The bear is kind.[(triple2)] The bear is nice.[(triple3)] The bear needs the rabbit.[(triple4)] The bear visits the rabbit.[(triple5)] The bear visits the squirrel.[(triple6)] The dog chases the bear.[(triple7)] The dog chases the squirrel.[(triple8)] The dog is big.[(triple9)] The dog is blue.[(triple10)] The dog is kind.[(triple11)] The rabbit chases the bear.[(triple12)] The rabbit is nice.[(triple13)] The rabbit visits the dog.[(triple14)] The squirrel needs the dog.[(triple15)] The squirrel needs the rabbit.[(triple16)] @1: The bear needs the squirrel.[(((triple4 triple1) -> rule1))] The dog needs the rabbit.[(((triple9) -> rule6))] @2: The squirrel chases the rabbit.[(((((triple4 triple1) -> rule1) triple16) -> rule3))] @3: The squirrel needs the squirrel.[(((triple16 ((((triple4 triple1) -> rule1) triple16) -> rule3)) -> rule1))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple4
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple5
The bear visits the squirrel.
("bear" "visits" "squirrel" "+")
triple6
The dog chases the bear.
("dog" "chases" "bear" "+")
triple7
The dog chases the squirrel.
("dog" "chases" "squirrel" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog is kind.
("dog" "is" "kind" "+")
triple11
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple13
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple14
The squirrel needs the dog.
("squirrel" "needs" "dog" "+")
triple15
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple16
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
((triple4 triple1) -> (rule1 % int1))
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((triple9) -> (rule6 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
((((triple4 triple1) -> (rule1 % int2)) triple16) -> (rule3 % int1))
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int1
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int2
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
((triple16 ((((triple4 triple1) -> (rule1 % int3)) triple16) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel needs the squirrel.
("squirrel" "needs" "squirrel" "+")
int1
The squirrel chases the rabbit.
("squirrel" "chases" "rabbit" "+")
int2
The bear needs the squirrel.
("bear" "needs" "squirrel" "+")
int3