The bear is red. The bear is rough. The bear does not need the rabbit. The bear needs the tiger. The bear sees the rabbit. The bear sees the tiger. The dog is nice. The dog is round. The dog sees the bear. The rabbit is kind. The rabbit likes the dog. The rabbit needs the bear. The rabbit sees the dog. The tiger is nice. The tiger is red. The tiger sees the rabbit. If something sees the tiger and it sees the rabbit then it is round.
The bear is red.
("bear" "is" "red" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is round.
("dog" "is" "round" "+")
The dog sees the bear.
("dog" "sees" "bear" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something sees the tiger and it sees the rabbit then it is round.
((("something" "sees" "tiger" "+") ("something" "sees" "rabbit" "+")) -> ("something" "is" "round" "+"))
The dog is round.
True
1
proof
[(triple8)]
("dog" "is" "round" "+")
triple8
The rabbit does not see the dog.
False
1
inv-proof
[(triple13)]
("rabbit" "sees" "dog" "-")
triple13
The bear is round.
True
3
proof
[(((triple6 triple5) -> rule1))]
("bear" "is" "round" "+")
((triple6 triple5) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is not round.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("bear" "is" "round" "-")
((triple6 triple5) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "round" "-")
The tiger is round.
Unknown
rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "round" "+")
The bear does not like the dog.
Unknown
inv-random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "-")
The tiger needs the bear.
Unknown
random
[@0: The tiger needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bear" "+")
@0: The bear does not need the rabbit.[(triple3)] The bear is red.[(triple1)] The bear is rough.[(triple2)] The bear needs the tiger.[(triple4)] The bear sees the rabbit.[(triple5)] The bear sees the tiger.[(triple6)] The dog is nice.[(triple7)] The dog is round.[(triple8)] The dog sees the bear.[(triple9)] The rabbit is kind.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit needs the bear.[(triple12)] The rabbit sees the dog.[(triple13)] The tiger is nice.[(triple14)] The tiger is red.[(triple15)] The tiger sees the rabbit.[(triple16)] @1: The bear is round.[(((triple6 triple5) -> rule1))]
The bear does not need the rabbit.
("bear" "needs" "rabbit" "-")
triple3
The bear is red.
("bear" "is" "red" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The dog is nice.
("dog" "is" "nice" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
The dog sees the bear.
("dog" "sees" "bear" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple11
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple12
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger is red.
("tiger" "is" "red" "+")
triple15
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple16
The bear is round.
("bear" "is" "round" "+")
((triple6 triple5) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1