Erin is blue. Erin is rough. Erin is round. Gary is blue. Gary is not rough. Gary is smart. Gary is white. If Gary is blue then Gary is young. If something is nice and not round then it is not rough. If something is round and white then it is young. If something is white and not blue then it is not smart. If something is round and not blue then it is not smart. All smart things are white. All rough things are not white. If something is blue and not rough then it is white.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not rough.
("Gary" "is" "rough" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is blue then Gary is young.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "young" "+"))
If something is nice and not round then it is not rough.
((("something" "is" "nice" "+") ("something" "is" "round" "~")) -> ("something" "is" "rough" "-"))
If something is round and white then it is young.
((("something" "is" "round" "+") ("something" "is" "white" "+")) -> ("something" "is" "young" "+"))
If something is white and not blue then it is not smart.
((("something" "is" "white" "+") ("something" "is" "blue" "~")) -> ("something" "is" "smart" "-"))
If something is round and not blue then it is not smart.
((("something" "is" "round" "+") ("something" "is" "blue" "~")) -> ("something" "is" "smart" "-"))
All smart things are white.
((("something" "is" "smart" "+")) -> ("something" "is" "white" "+"))
All rough things are not white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "-"))
If something is blue and not rough then it is white.
((("something" "is" "blue" "+") ("something" "is" "rough" "~")) -> ("something" "is" "white" "+"))
Gary is not rough.
True
1
proof
[(triple5)]
("Gary" "is" "rough" "-")
triple5
Erin is not blue.
False
1
inv-proof
[(triple1)]
("Erin" "is" "blue" "-")
triple1
Gary is young.
True
2
proof
[(((triple4) -> rule1))]
("Gary" "is" "young" "+")
((triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Erin is white.
False
2
inv-proof
[(((triple2) -> rule7))]
("Erin" "is" "white" "+")
((triple2) -> (rule7 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Erin is not young.
Unknown
inv-rconc
[@1: Erin is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Erin" "is" "young" "-")
Erin is smart.
Unknown
random
[@0: Erin is smart.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "smart" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Erin is nice.
Unknown
random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "+")
@0: Erin is blue.[(triple1)] Erin is rough.[(triple2)] Erin is round.[(triple3)] Gary is blue.[(triple4)] Gary is not rough.[(triple5)] Gary is smart.[(triple6)] Gary is white.[(triple7 OR ((triple6) -> rule6) OR ((triple4 triple5) -> rule8))] @1: Erin is not white.[(((triple2) -> rule7))] Gary is young.[(((triple4) -> rule1))]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is rough.
("Erin" "is" "rough" "+")
triple2
Erin is round.
("Erin" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple4
Gary is not rough.
("Gary" "is" "rough" "-")
triple5
Gary is smart.
("Gary" "is" "smart" "+")
triple6
Gary is white.
("Gary" "is" "white" "+")
triple7
((triple6) -> (rule6 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple4 triple5) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Erin is not white.
("Erin" "is" "white" "-")
((triple2) -> (rule7 % int1))
Erin is not white.
("Erin" "is" "white" "-")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple4) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1