The dog chases the mouse. The dog chases the rabbit. The dog eats the mouse. The dog eats the rabbit. The dog is big. The dog visits the rabbit. The mouse chases the dog. The mouse chases the rabbit. The mouse eats the dog. The mouse is kind. The mouse visits the dog. The mouse visits the rabbit. The rabbit eats the dog. The rabbit is young. The rabbit visits the mouse. If something visits the mouse then the mouse is cold.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse visits the dog.
("mouse" "visits" "dog" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If something visits the mouse then the mouse is cold.
((("something" "visits" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
The dog is big.
True
1
proof
[(triple5)]
("dog" "is" "big" "+")
triple5
The mouse does not visit the rabbit.
False
1
inv-proof
[(triple12)]
("mouse" "visits" "rabbit" "-")
triple12
The mouse is cold.
True
2
proof
[(((triple15) -> rule1))]
("mouse" "is" "cold" "+")
((triple15) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The mouse is not cold.
False
2
inv-proof
[(((triple15) -> rule1))]
("mouse" "is" "cold" "-")
((triple15) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The rabbit is not cold.
Unknown
inv-random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The rabbit does not chase the dog.
Unknown
inv-random
[@0: The rabbit chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "dog" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The dog chases the mouse.[(triple1)] The dog chases the rabbit.[(triple2)] The dog eats the mouse.[(triple3)] The dog eats the rabbit.[(triple4)] The dog is big.[(triple5)] The dog visits the rabbit.[(triple6)] The mouse chases the dog.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse eats the dog.[(triple9)] The mouse is kind.[(triple10)] The mouse visits the dog.[(triple11)] The mouse visits the rabbit.[(triple12)] The rabbit eats the dog.[(triple13)] The rabbit is young.[(triple14)] The rabbit visits the mouse.[(triple15)] @1: The mouse is cold.[(((triple15) -> rule1))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple3
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
triple5
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple6
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple8
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The mouse visits the dog.
("mouse" "visits" "dog" "+")
triple11
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple12
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple15
The mouse is cold.
("mouse" "is" "cold" "+")
((triple15) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1