The cow likes the rabbit. The dog is blue. The dog is green. The dog is rough. The dog likes the rabbit. The dog sees the cow. The dog sees the rabbit. The dog visits the rabbit. The rabbit is cold. The rabbit is kind. The rabbit visits the cow. The rabbit visits the dog. If the dog visits the rabbit and the rabbit is rough then the dog is cold. If something visits the dog then it likes the rabbit.
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If the dog visits the rabbit and the rabbit is rough then the dog is cold.
((("dog" "visits" "rabbit" "+") ("rabbit" "is" "rough" "+")) -> ("dog" "is" "cold" "+"))
If something visits the dog then it likes the rabbit.
((("something" "visits" "dog" "+")) -> ("something" "likes" "rabbit" "+"))
The dog is green.
True
1
proof
[(triple3)]
("dog" "is" "green" "+")
triple3
The dog does not see the rabbit.
False
1
inv-proof
[(triple7)]
("dog" "sees" "rabbit" "-")
triple7
The rabbit likes the rabbit.
True
2
proof
[(((triple12) -> rule2))]
("rabbit" "likes" "rabbit" "+")
((triple12) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The rabbit does not like the rabbit.
False
2
inv-proof
[(((triple12) -> rule2))]
("rabbit" "likes" "rabbit" "-")
((triple12) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1
The dog is not cold.
Unknown
inv-rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "cold" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The cow likes the rabbit.[(triple1)] The dog is blue.[(triple2)] The dog is green.[(triple3)] The dog is rough.[(triple4)] The dog likes the rabbit.[(triple5)] The dog sees the cow.[(triple6)] The dog sees the rabbit.[(triple7)] The dog visits the rabbit.[(triple8)] The rabbit is cold.[(triple9)] The rabbit is kind.[(triple10)] The rabbit visits the cow.[(triple11)] The rabbit visits the dog.[(triple12)] @1: The rabbit likes the rabbit.[(((triple12) -> rule2))]
The cow likes the rabbit.
("cow" "likes" "rabbit" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is green.
("dog" "is" "green" "+")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple5
The dog sees the cow.
("dog" "sees" "cow" "+")
triple6
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple7
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple8
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit visits the cow.
("rabbit" "visits" "cow" "+")
triple11
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple12
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
((triple12) -> (rule2 % int1))
The rabbit likes the rabbit.
("rabbit" "likes" "rabbit" "+")
int1