The cat eats the mouse. The cat is green. The cat is rough. The cat is young. The cat sees the mouse. The cat visits the mouse. The mouse eats the cat. The mouse is nice. The mouse sees the cat. The mouse visits the cat. If someone is young then they are red. Nice people are young.
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat is young.
("cat" "is" "young" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The mouse visits the cat.
("mouse" "visits" "cat" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
Nice people are young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
The cat is rough.
True
1
proof
[(triple3)]
("cat" "is" "rough" "+")
triple3
The cat does not eat the mouse.
False
1
inv-proof
[(triple1)]
("cat" "eats" "mouse" "-")
triple1
The cat is red.
True
2
proof
[(((triple4) -> rule1))]
("cat" "is" "red" "+")
((triple4) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is not red.
False
2
inv-proof
[(((triple4) -> rule1))]
("cat" "is" "red" "-")
((triple4) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The mouse is red.
True
3
proof
[(((((triple8) -> rule2)) -> rule1))]
("mouse" "is" "red" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The mouse is not red.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule1))]
("mouse" "is" "red" "-")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The cat is nice.
Unknown
random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "+")
The cat does not visit the cat.
Unknown
inv-random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "-")
The mouse visits the mouse.
Unknown
random
[@0: The mouse visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "mouse" "+")
@0: The cat eats the mouse.[(triple1)] The cat is green.[(triple2)] The cat is rough.[(triple3)] The cat is young.[(triple4)] The cat sees the mouse.[(triple5)] The cat visits the mouse.[(triple6)] The mouse eats the cat.[(triple7)] The mouse is nice.[(triple8)] The mouse sees the cat.[(triple9)] The mouse visits the cat.[(triple10)] @1: The cat is red.[(((triple4) -> rule1))] The mouse is young.[(((triple8) -> rule2))] @2: The mouse is red.[(((((triple8) -> rule2)) -> rule1))]
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is rough.
("cat" "is" "rough" "+")
triple3
The cat is young.
("cat" "is" "young" "+")
triple4
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple5
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple6
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple9
The mouse visits the cat.
("mouse" "visits" "cat" "+")
triple10
The cat is red.
("cat" "is" "red" "+")
((triple4) -> (rule1 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
((triple8) -> (rule2 % int1))
The mouse is young.
("mouse" "is" "young" "+")
int1
The mouse is red.
("mouse" "is" "red" "+")
((((triple8) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is red.
("mouse" "is" "red" "+")
int1
The mouse is young.
("mouse" "is" "young" "+")
int2