The bear likes the dog. The dog eats the bear. The rabbit is cold. If something sees the bear then it likes the dog. If something eats the dog then the dog is big. If something eats the dog then it sees the dog. If the bear sees the rabbit then the bear is red. If something likes the dog and it eats the rabbit then the dog eats the rabbit. If something is rough and cold then it sees the bear. If something likes the dog then it is nice. If something sees the rabbit and it likes the dog then the dog eats the bear.
The bear likes the dog.
("bear" "likes" "dog" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
If something sees the bear then it likes the dog.
((("something" "sees" "bear" "+")) -> ("something" "likes" "dog" "+"))
If something eats the dog then the dog is big.
((("something" "eats" "dog" "+")) -> ("dog" "is" "big" "+"))
If something eats the dog then it sees the dog.
((("something" "eats" "dog" "+")) -> ("something" "sees" "dog" "+"))
If the bear sees the rabbit then the bear is red.
((("bear" "sees" "rabbit" "+")) -> ("bear" "is" "red" "+"))
If something likes the dog and it eats the rabbit then the dog eats the rabbit.
((("something" "likes" "dog" "+") ("something" "eats" "rabbit" "+")) -> ("dog" "eats" "rabbit" "+"))
If something is rough and cold then it sees the bear.
((("something" "is" "rough" "+") ("something" "is" "cold" "+")) -> ("something" "sees" "bear" "+"))
If something likes the dog then it is nice.
((("something" "likes" "dog" "+")) -> ("something" "is" "nice" "+"))
If something sees the rabbit and it likes the dog then the dog eats the bear.
((("something" "sees" "rabbit" "+") ("something" "likes" "dog" "+")) -> ("dog" "eats" "bear" "+"))
The dog eats the bear.
True
1
proof
[(triple2)]
("dog" "eats" "bear" "+")
triple2
The rabbit is not cold.
False
1
inv-proof
[(triple3)]
("rabbit" "is" "cold" "-")
triple3
The bear is nice.
True
2
proof
[(((triple1) -> rule7))]
("bear" "is" "nice" "+")
((triple1) -> (rule7 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple1) -> rule7))]
("bear" "is" "nice" "-")
((triple1) -> (rule7 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The rabbit is not nice.
Unknown
inv-rconc
[@3: The rabbit is nice.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule6 <- FAIL)]]
("rabbit" "is" "nice" "-")
The dog is big.
Unknown
rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "big" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The bear likes the dog.[(triple1)] The dog eats the bear.[(triple2)] The rabbit is cold.[(triple3)] @1: The bear is nice.[(((triple1) -> rule7))]
The bear likes the dog.
("bear" "likes" "dog" "+")
triple1
The dog eats the bear.
("dog" "eats" "bear" "+")
triple2
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
((triple1) -> (rule7 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1