Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is white. Gary is green. Gary is nice. Gary is rough. Gary is white. If Gary is green and Gary is rough then Gary is cold. White, cold things are round.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is white.
("Gary" "is" "white" "+")
If Gary is green and Gary is rough then Gary is cold.
((("Gary" "is" "green" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "cold" "+"))
White, cold things are round.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Erin is nice.
True
1
proof
[(triple3)]
("Erin" "is" "nice" "+")
triple3
Erin is not quiet.
False
1
inv-proof
[(triple4)]
("Erin" "is" "quiet" "-")
triple4
Gary is cold.
True
3
proof
[(((triple7 triple9) -> rule1))]
("Gary" "is" "cold" "+")
((triple7 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Erin is not round.
False
3
inv-proof
[(((triple6 triple1) -> rule2))]
("Erin" "is" "round" "-")
((triple6 triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is round.
True
5
proof
[(((triple10 ((triple7 triple9) -> rule1)) -> rule2))]
("Gary" "is" "round" "+")
((triple10 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is not round.
False
5
inv-proof
[(((triple10 ((triple7 triple9) -> rule1)) -> rule2))]
("Gary" "is" "round" "-")
((triple10 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is white.[(triple6)] Gary is green.[(triple7)] Gary is nice.[(triple8)] Gary is rough.[(triple9)] Gary is white.[(triple10)] @1: Erin is round.[(((triple6 triple1) -> rule2))] Gary is cold.[(((triple7 triple9) -> rule1))] @2: Gary is round.[(((triple10 ((triple7 triple9) -> rule1)) -> rule2))]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is white.
("Erin" "is" "white" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Erin is round.
("Erin" "is" "round" "+")
((triple6 triple1) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 triple9) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple10 ((triple7 triple9) -> (rule1 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2