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