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