The bear chases the rabbit. The bear eats the rabbit. The bear is big. The bear is nice. The bear sees the rabbit. The rabbit chases the bear. The rabbit eats the bear. The rabbit is cold. The rabbit is young. The rabbit sees the bear. If the rabbit is young then the rabbit chases the bear. If someone eats the bear then the bear is cold. If someone sees the rabbit and they are young then they eat the bear. If someone is kind then they see the bear. If someone is cold and they chase the rabbit then the rabbit is kind. If someone sees the bear and they chase the rabbit then the bear is kind. If someone is nice and they chase the rabbit then they are cold. If the bear eats the rabbit and the rabbit chases the bear then the rabbit is young.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
If the rabbit is young then the rabbit chases the bear.
((("rabbit" "is" "young" "+")) -> ("rabbit" "chases" "bear" "+"))
If someone eats the bear then the bear is cold.
((("someone" "eats" "bear" "+")) -> ("bear" "is" "cold" "+"))
If someone sees the rabbit and they are young then they eat the bear.
((("someone" "sees" "rabbit" "+") ("someone" "is" "young" "+")) -> ("someone" "eats" "bear" "+"))
If someone is kind then they see the bear.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "bear" "+"))
If someone is cold and they chase the rabbit then the rabbit is kind.
((("someone" "is" "cold" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If someone sees the bear and they chase the rabbit then the bear is kind.
((("someone" "sees" "bear" "+") ("someone" "chases" "rabbit" "+")) -> ("bear" "is" "kind" "+"))
If someone is nice and they chase the rabbit then they are cold.
((("someone" "is" "nice" "+") ("someone" "chases" "rabbit" "+")) -> ("someone" "is" "cold" "+"))
If the bear eats the rabbit and the rabbit chases the bear then the rabbit is young.
((("bear" "eats" "rabbit" "+") ("rabbit" "chases" "bear" "+")) -> ("rabbit" "is" "young" "+"))
The bear is big.
True
1
proof
[(triple3)]
("bear" "is" "big" "+")
triple3
The bear is not big.
False
1
inv-proof
[(triple3)]
("bear" "is" "big" "-")
triple3
The bear is cold.
True
2
proof
[(((triple7) -> rule2) OR ((triple4 triple1) -> rule7))]
("bear" "is" "cold" "+")
((triple7) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((triple4 triple1) -> (rule7 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is not cold.
False
2
inv-proof
[(((triple7) -> rule2) OR ((triple4 triple1) -> rule7))]
("bear" "is" "cold" "-")
((triple7) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((triple4 triple1) -> (rule7 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear does not see the bear.
Unknown
inv-rconc
[@2: The bear sees the bear.[CWA. Example of deepest failure = (rule4 <- rule6 <- FAIL)]]
("bear" "sees" "bear" "-")
The bear is kind.
Unknown
rconc
[@2: The bear is kind.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("bear" "is" "kind" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
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 rabbit.[(triple1)] The bear eats the rabbit.[(triple2)] The bear is big.[(triple3)] The bear is nice.[(triple4)] The bear sees the rabbit.[(triple5)] The rabbit chases the bear.[(triple6 OR ((triple9) -> rule1))] The rabbit eats the bear.[(triple7)] The rabbit is cold.[(triple8)] The rabbit is young.[(triple9 OR ((triple2 triple6) -> rule8))] The rabbit sees the bear.[(triple10 OR ((((((triple7) -> rule2) triple1) -> rule5)) -> rule4) OR ((((((triple4 triple1) -> rule7) triple1) -> rule5)) -> rule4))] @1: The bear is cold.[(((triple7) -> rule2) OR ((triple4 triple1) -> rule7))] @2: The rabbit is kind.[(((((triple7) -> rule2) triple1) -> rule5) OR ((((triple4 triple1) -> rule7) triple1) -> rule5))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple6
((triple9) -> (rule1 % int1))
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
int1
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit is young.
("rabbit" "is" "young" "+")
triple9
((triple2 triple6) -> (rule8 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
triple10
((((((triple7) -> (rule2 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
((((((triple4 triple1) -> (rule7 % int3)) triple1) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit sees the bear.
("rabbit" "sees" "bear" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear is cold.
("bear" "is" "cold" "+")
((triple7) -> (rule2 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
((triple4 triple1) -> (rule7 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((((triple7) -> (rule2 % int2)) triple1) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
((((triple4 triple1) -> (rule7 % int2)) triple1) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2