Erin is big. Erin is round. Erin is white. If someone is white and blue then they are kind. If Erin is blue then Erin is rough. If someone is white and round then they are blue.
Erin is big.
("Erin" "is" "big" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
If someone is white and blue then they are kind.
((("someone" "is" "white" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If Erin is blue then Erin is rough.
((("Erin" "is" "blue" "+")) -> ("Erin" "is" "rough" "+"))
If someone is white and round then they are blue.
((("someone" "is" "white" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Erin is round.
True
1
proof
[(triple2)]
("Erin" "is" "round" "+")
triple2
Erin is not big.
False
1
inv-proof
[(triple1)]
("Erin" "is" "big" "-")
triple1
Erin is blue.
True
3
proof
[(((triple3 triple2) -> rule3))]
("Erin" "is" "blue" "+")
((triple3 triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is not blue.
False
3
inv-proof
[(((triple3 triple2) -> rule3))]
("Erin" "is" "blue" "-")
((triple3 triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is rough.
True
4
proof
[(((((triple3 triple2) -> rule3)) -> rule2))]
("Erin" "is" "rough" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not rough.
False
4
inv-proof
[(((((triple3 triple2) -> rule3)) -> rule2))]
("Erin" "is" "rough" "-")
((((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
@0: Erin is big.[(triple1)] Erin is round.[(triple2)] Erin is white.[(triple3)] @1: Erin is blue.[(((triple3 triple2) -> rule3))] @2: Erin is kind.[(((triple3 ((triple3 triple2) -> rule3)) -> rule1))] Erin is rough.[(((((triple3 triple2) -> rule3)) -> rule2))]
Erin is big.
("Erin" "is" "big" "+")
triple1
Erin is round.
("Erin" "is" "round" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Erin is blue.
("Erin" "is" "blue" "+")
((triple3 triple2) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple3 ((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple3 triple2) -> (rule3 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2