The bear chases the dog. The bear chases the rabbit. The bear is green. The bear needs the dog. The dog chases the bear. The dog chases the rabbit. The dog is big. The dog is green. The dog is young. The dog needs the bear. The dog needs the rabbit. The dog sees the rabbit. The rabbit chases the dog. The rabbit is green. The rabbit needs the dog. The rabbit sees the bear. If someone sees the dog then they are nice.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If someone sees the dog then they are nice.
((("someone" "sees" "dog" "+")) -> ("someone" "is" "nice" "+"))
The bear needs the dog.
True
1
proof
[(triple4)]
("bear" "needs" "dog" "+")
triple4
The dog is not green.
False
1
inv-proof
[(triple8)]
("dog" "is" "green" "-")
triple8
The dog is not nice.
Unknown
inv-rconc
[@1: The dog is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "nice" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
@0: The bear chases the dog.[(triple1)] The bear chases the rabbit.[(triple2)] The bear is green.[(triple3)] The bear needs the dog.[(triple4)] The dog chases the bear.[(triple5)] The dog chases the rabbit.[(triple6)] The dog is big.[(triple7)] The dog is green.[(triple8)] The dog is young.[(triple9)] The dog needs the bear.[(triple10)] The dog needs the rabbit.[(triple11)] The dog sees the rabbit.[(triple12)] The rabbit chases the dog.[(triple13)] The rabbit is green.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit sees the bear.[(triple16)]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple3
The bear needs the dog.
("bear" "needs" "dog" "+")
triple4
The dog chases the bear.
("dog" "chases" "bear" "+")
triple5
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is young.
("dog" "is" "young" "+")
triple9
The dog needs the bear.
("dog" "needs" "bear" "+")
triple10
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple11
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple12
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple13
The rabbit is green.
("rabbit" "is" "green" "+")
triple14
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple15
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple16