Erin is blue. Erin is red. Erin is rough. Gary is big. Gary is blue. Gary is rough. Gary is smart. All rough, big things are kind. If something is green then it is smart.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
All rough, big things are kind.
((("something" "is" "rough" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
If something is green then it is smart.
((("something" "is" "green" "+")) -> ("something" "is" "smart" "+"))
Erin is rough.
True
1
proof
[(triple3)]
("Erin" "is" "rough" "+")
triple3
Erin is not rough.
False
1
inv-proof
[(triple3)]
("Erin" "is" "rough" "-")
triple3
Gary is kind.
True
3
proof
[(((triple6 triple4) -> rule1))]
("Gary" "is" "kind" "+")
((triple6 triple4) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is not kind.
False
3
inv-proof
[(((triple6 triple4) -> rule1))]
("Gary" "is" "kind" "-")
((triple6 triple4) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Erin is not smart.
Unknown
inv-rconc
[@1: Erin is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Erin" "is" "smart" "-")
Erin is kind.
Unknown
rconc
[@1: Erin is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Erin" "is" "kind" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Erin is blue.[(triple1)] Erin is red.[(triple2)] Erin is rough.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)] @1: Gary is kind.[(((triple6 triple4) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is red.
("Erin" "is" "red" "+")
triple2
Erin is rough.
("Erin" "is" "rough" "+")
triple3
Gary is big.
("Gary" "is" "big" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is smart.
("Gary" "is" "smart" "+")
triple7
Gary is kind.
("Gary" "is" "kind" "+")
((triple6 triple4) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1