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