The bear is green. The bear needs the cat. The bear needs the rabbit. The bear visits the rabbit. The cat is blue. The cat is kind. The cat is round. The cat is young. The cat needs the bear. The cat sees the bear. The cat sees the rabbit. The cat visits the rabbit. The rabbit needs the bear. The rabbit visits the bear. The rabbit visits the cat. If something is blue and young then it sees the rabbit. If something visits the rabbit and it is young then the rabbit is round. If something sees the rabbit and the rabbit needs the bear then the bear needs the cat. If something visits the rabbit then it is blue. If something is round and kind then it sees the rabbit. If something is kind and it visits the bear then it sees the cat. If something is young and it needs the cat then the cat needs the rabbit. If something needs the bear then it sees the cat.
The bear is green.
("bear" "is" "green" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is round.
("cat" "is" "round" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something is blue and young then it sees the rabbit.
((("something" "is" "blue" "+") ("something" "is" "young" "+")) -> ("something" "sees" "rabbit" "+"))
If something visits the rabbit and it is young then the rabbit is round.
((("something" "visits" "rabbit" "+") ("something" "is" "young" "+")) -> ("rabbit" "is" "round" "+"))
If something sees the rabbit and the rabbit needs the bear then the bear needs the cat.
((("something" "sees" "rabbit" "+") ("rabbit" "needs" "bear" "+")) -> ("bear" "needs" "cat" "+"))
If something visits the rabbit then it is blue.
((("something" "visits" "rabbit" "+")) -> ("something" "is" "blue" "+"))
If something is round and kind then it sees the rabbit.
((("something" "is" "round" "+") ("something" "is" "kind" "+")) -> ("something" "sees" "rabbit" "+"))
If something is kind and it visits the bear then it sees the cat.
((("something" "is" "kind" "+") ("something" "visits" "bear" "+")) -> ("something" "sees" "cat" "+"))
If something is young and it needs the cat then the cat needs the rabbit.
((("something" "is" "young" "+") ("something" "needs" "cat" "+")) -> ("cat" "needs" "rabbit" "+"))
If something needs the bear then it sees the cat.
((("something" "needs" "bear" "+")) -> ("something" "sees" "cat" "+"))
The cat is kind.
True
1
proof
[(triple6)]
("cat" "is" "kind" "+")
triple6
The bear does not need the rabbit.
False
1
inv-proof
[(triple3)]
("bear" "needs" "rabbit" "-")
triple3
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "blue" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bear is green.[(triple1)] The bear needs the cat.[(triple2 OR ((triple11 triple13) -> rule3) OR ((((triple5 triple8) -> rule1) triple13) -> rule3) OR ((((triple7 triple6) -> rule5) triple13) -> rule3) OR ((((((triple12) -> rule4) triple8) -> rule1) triple13) -> rule3))] The bear needs the rabbit.[(triple3)] The bear visits the rabbit.[(triple4)] The cat is blue.[(triple5 OR ((triple12) -> rule4))] The cat is kind.[(triple6)] The cat is round.[(triple7)] The cat is young.[(triple8)] The cat needs the bear.[(triple9)] The cat sees the bear.[(triple10)] The cat sees the rabbit.[(triple11 OR ((triple5 triple8) -> rule1) OR ((triple7 triple6) -> rule5) OR ((((triple12) -> rule4) triple8) -> rule1))] The cat visits the rabbit.[(triple12)] The rabbit needs the bear.[(triple13)] The rabbit visits the bear.[(triple14)] The rabbit visits the cat.[(triple15)] @1: The bear is blue.[(((triple4) -> rule4))] The cat sees the cat.[(((triple9) -> rule8))] The rabbit is round.[(((triple12 triple8) -> rule2))] The rabbit sees the cat.[(((triple13) -> rule8))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear needs the cat.
("bear" "needs" "cat" "+")
triple2
((triple11 triple13) -> (rule3 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
((((triple5 triple8) -> (rule1 % int2)) triple13) -> (rule3 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
((((triple7 triple6) -> (rule5 % int2)) triple13) -> (rule3 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
((((((triple12) -> (rule4 % int3)) triple8) -> (rule1 % int2)) triple13) -> (rule3 % int1))
The bear needs the cat.
("bear" "needs" "cat" "+")
int1
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int2
The cat is blue.
("cat" "is" "blue" "+")
int3
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple3
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple4
The cat is blue.
("cat" "is" "blue" "+")
triple5
((triple12) -> (rule4 % int1))
The cat is blue.
("cat" "is" "blue" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is round.
("cat" "is" "round" "+")
triple7
The cat is young.
("cat" "is" "young" "+")
triple8
The cat needs the bear.
("cat" "needs" "bear" "+")
triple9
The cat sees the bear.
("cat" "sees" "bear" "+")
triple10
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple11
((triple5 triple8) -> (rule1 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
((triple7 triple6) -> (rule5 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
((((triple12) -> (rule4 % int2)) triple8) -> (rule1 % int1))
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
int1
The cat is blue.
("cat" "is" "blue" "+")
int2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple12
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple13
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple14
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple15
The bear is blue.
("bear" "is" "blue" "+")
((triple4) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple9) -> (rule8 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple12 triple8) -> (rule2 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
((triple13) -> (rule8 % int1))
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
int1