Erin is green. Erin is kind. Erin is white. All green people are blue. All rough, white people are nice. All green people are rough.
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is white.
("Erin" "is" "white" "+")
All green people are blue.
((("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
All rough, white people are nice.
((("someone" "is" "rough" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
All green people are rough.
((("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
Erin is green.
True
1
proof
[(triple1)]
("Erin" "is" "green" "+")
triple1
Erin is not kind.
False
1
inv-proof
[(triple2)]
("Erin" "is" "kind" "-")
triple2
Erin is rough.
True
2
proof
[(((triple1) -> rule3))]
("Erin" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is not blue.
False
2
inv-proof
[(((triple1) -> rule1))]
("Erin" "is" "blue" "-")
((triple1) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
True
4
proof
[(((((triple1) -> rule3) triple3) -> rule2))]
("Erin" "is" "nice" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is not nice.
False
4
inv-proof
[(((((triple1) -> rule3) triple3) -> rule2))]
("Erin" "is" "nice" "-")
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
@0: Erin is green.[(triple1)] Erin is kind.[(triple2)] Erin is white.[(triple3)] @1: Erin is blue.[(((triple1) -> rule1))] Erin is rough.[(((triple1) -> rule3))] @2: Erin is nice.[(((((triple1) -> rule3) triple3) -> rule2))]
Erin is green.
("Erin" "is" "green" "+")
triple1
Erin is kind.
("Erin" "is" "kind" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
((triple1) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
((((triple1) -> (rule3 % int2)) triple3) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2