Charlie is green. Erin is young. Gary is big. If Gary is young then Gary is quiet. If someone is big then they are young.
Charlie is green.
("Charlie" "is" "green" "+")
Erin is young.
("Erin" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
If Gary is young then Gary is quiet.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "quiet" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Charlie is green.
True
1
proof
[(triple1)]
("Charlie" "is" "green" "+")
triple1
Erin is not young.
False
1
inv-proof
[(triple2)]
("Erin" "is" "young" "-")
triple2
Gary is young.
True
2
proof
[(((triple3) -> rule2))]
("Gary" "is" "young" "+")
((triple3) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple3) -> rule2))]
("Gary" "is" "young" "-")
((triple3) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("Gary" "is" "quiet" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not quiet.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("Gary" "is" "quiet" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Charlie is not young.
Unknown
inv-rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "young" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Erin is quiet.
Unknown
random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "+")
@0: Charlie is green.[(triple1)] Erin is young.[(triple2)] Gary is big.[(triple3)] @1: Gary is young.[(((triple3) -> rule2))] @2: Gary is quiet.[(((((triple3) -> rule2)) -> rule1))]
Charlie is green.
("Charlie" "is" "green" "+")
triple1
Erin is young.
("Erin" "is" "young" "+")
triple2
Gary is big.
("Gary" "is" "big" "+")
triple3
Gary is young.
("Gary" "is" "young" "+")
((triple3) -> (rule2 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2