Erin is nice. Gary is not red. Young things are red. If something is nice then it is young. If something is cold and not nice then it is not young.
Erin is nice.
("Erin" "is" "nice" "+")
Gary is not red.
("Gary" "is" "red" "-")
Young things are red.
((("something" "is" "young" "+")) -> ("something" "is" "red" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is cold and not nice then it is not young.
((("something" "is" "cold" "+") ("something" "is" "nice" "~")) -> ("something" "is" "young" "-"))
Gary is not red.
True
1
proof
[(triple2)]
("Gary" "is" "red" "-")
triple2
Gary is red.
False
1
inv-proof
[(triple2)]
("Gary" "is" "red" "+")
triple2
Erin is young.
True
2
proof
[(((triple1) -> rule2))]
("Erin" "is" "young" "+")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is not young.
False
2
inv-proof
[(((triple1) -> rule2))]
("Erin" "is" "young" "-")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
True
3
proof
[(((((triple1) -> rule2)) -> rule1))]
("Erin" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Erin is not red.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule1))]
("Erin" "is" "red" "-")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is quiet.
Unknown
random
[@0: Gary is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "quiet" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Gary is nice.
Unknown
random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "+")
@0: Erin is nice.[(triple1)] Gary is not red.[(triple2)] @1: Erin is young.[(((triple1) -> rule2))] @2: Erin is red.[(((((triple1) -> rule2)) -> rule1))]
Erin is nice.
("Erin" "is" "nice" "+")
triple1
Gary is not red.
("Gary" "is" "red" "-")
triple2
Erin is young.
("Erin" "is" "young" "+")
((triple1) -> (rule2 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((((triple1) -> (rule2 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2