The cow is big. The cow needs the dog. The cow visits the dog. The cow visits the mouse. The dog sees the cow. The mouse sees the dog. The mouse visits the dog. If someone is cold and they visit the mouse then the mouse is round. If someone visits the dog then the dog is nice.
The cow is big.
("cow" "is" "big" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
If someone is cold and they visit the mouse then the mouse is round.
((("someone" "is" "cold" "+") ("someone" "visits" "mouse" "+")) -> ("mouse" "is" "round" "+"))
If someone visits the dog then the dog is nice.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "nice" "+"))
The cow is big.
True
1
proof
[(triple1)]
("cow" "is" "big" "+")
triple1
The mouse does not visit the dog.
False
1
inv-proof
[(triple7)]
("mouse" "visits" "dog" "-")
triple7
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "round" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
@0: The cow is big.[(triple1)] The cow needs the dog.[(triple2)] The cow visits the dog.[(triple3)] The cow visits the mouse.[(triple4)] The dog sees the cow.[(triple5)] The mouse sees the dog.[(triple6)] The mouse visits the dog.[(triple7)] @1: The dog is nice.[(((triple3) -> rule2) OR ((triple7) -> rule2))]
The cow is big.
("cow" "is" "big" "+")
triple1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple2
The cow visits the dog.
("cow" "visits" "dog" "+")
triple3
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple4
The dog sees the cow.
("dog" "sees" "cow" "+")
triple5
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple6
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple7
The dog is nice.
("dog" "is" "nice" "+")
((triple3) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
((triple7) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1