Erin is blue. Gary is young. If someone is young then they are white. If Gary is blue then Gary is smart. If someone is rough and smart then they are blue.
Erin is blue.
("Erin" "is" "blue" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is young then they are white.
((("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
If Gary is blue then Gary is smart.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "smart" "+"))
If someone is rough and smart then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "blue" "+"))
Erin is blue.
True
1
proof
[(triple1)]
("Erin" "is" "blue" "+")
triple1
Erin is not blue.
False
1
inv-proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
Gary is white.
True
2
proof
[(((triple2) -> rule1))]
("Gary" "is" "white" "+")
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is not white.
False
2
inv-proof
[(((triple2) -> rule1))]
("Gary" "is" "white" "-")
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is not white.
Unknown
inv-rconc
[@1: Erin is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "white" "-")
Gary is smart.
Unknown
rconc
[@2: Gary is smart.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Gary" "is" "smart" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Erin is furry.
Unknown
random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "+")
@0: Erin is blue.[(triple1)] Gary is young.[(triple2)] @1: Gary is white.[(((triple2) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Gary is young.
("Gary" "is" "young" "+")
triple2
Gary is white.
("Gary" "is" "white" "+")
((triple2) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1