Anne is cold. Anne is green. Anne is kind. Anne is quiet. Anne is smart. Anne is white. Anne is young. Erin is cold. Erin is not green. Erin is kind. Erin is quiet. Erin is young. All quiet people are cold. White people are kind. If Anne is quiet and Anne is kind then Anne is green. If Erin is kind then Erin is smart. Smart, young people are white. White people are young. If Anne is cold then Anne is smart. If someone is kind and young then they are quiet.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is young.
("Erin" "is" "young" "+")
All quiet people are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
White people are kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If Anne is quiet and Anne is kind then Anne is green.
((("Anne" "is" "quiet" "+") ("Anne" "is" "kind" "+")) -> ("Anne" "is" "green" "+"))
If Erin is kind then Erin is smart.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "smart" "+"))
Smart, young people are white.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "white" "+"))
White people are young.
((("someone" "is" "white" "+")) -> ("someone" "is" "young" "+"))
If Anne is cold then Anne is smart.
((("Anne" "is" "cold" "+")) -> ("Anne" "is" "smart" "+"))
If someone is kind and young then they are quiet.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "quiet" "+"))
Erin is young.
True
1
proof
[(triple12)]
("Erin" "is" "young" "+")
triple12
Anne is not smart.
False
1
inv-proof
[(triple5 OR ((triple1) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((((triple3 triple7) -> rule8)) -> rule1)) -> rule7) OR ((((((triple3 ((triple6) -> rule6)) -> rule8)) -> rule1)) -> rule7) OR ((((((((triple6) -> rule2) triple7) -> rule8)) -> rule1)) -> rule7) OR ((((((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8)) -> rule1)) -> rule7))]
("Anne" "is" "smart" "-")
triple5
((triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple3 triple7) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple3 ((triple6) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple6) -> (rule2 % int4)) triple7) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple6) -> (rule2 % int5)) ((triple6) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Erin is smart.
True
2
proof
[(((triple10) -> rule4))]
("Erin" "is" "smart" "+")
((triple10) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is not smart.
False
2
inv-proof
[(((triple10) -> rule4))]
("Erin" "is" "smart" "-")
((triple10) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
True
4
proof
[(((((triple10) -> rule4) triple12) -> rule5))]
("Erin" "is" "white" "+")
((((triple10) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is not white.
False
4
inv-proof
[(((((triple10) -> rule4) triple12) -> rule5))]
("Erin" "is" "white" "-")
((((triple10) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
@0: Anne is cold.[(triple1 OR ((triple4) -> rule1) OR ((((triple3 triple7) -> rule8)) -> rule1) OR ((((triple3 ((triple6) -> rule6)) -> rule8)) -> rule1) OR ((((((triple6) -> rule2) triple7) -> rule8)) -> rule1) OR ((((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8)) -> rule1) OR ((((((((triple5 triple7) -> rule5)) -> rule2) triple7) -> rule8)) -> rule1) OR ((((((((triple5 triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8)) -> rule1))] Anne is green.[(triple2 OR ((triple4 triple3) -> rule3) OR ((triple4 ((triple6) -> rule2)) -> rule3) OR ((((triple3 triple7) -> rule8) triple3) -> rule3) OR ((((triple3 triple7) -> rule8) ((triple6) -> rule2)) -> rule3) OR ((triple4 ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((triple3 ((triple6) -> rule6)) -> rule8) triple3) -> rule3) OR ((((((triple6) -> rule2) triple7) -> rule8) triple3) -> rule3) OR ((((triple3 triple7) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((triple3 ((triple6) -> rule6)) -> rule8) ((triple6) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) triple7) -> rule8) ((triple6) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8) triple3) -> rule3) OR ((((triple3 ((triple6) -> rule6)) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) triple7) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8) ((triple6) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((triple4 ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) triple7) -> rule8) triple3) -> rule3) OR ((((triple3 triple7) -> rule8) ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) triple7) -> rule8) ((triple6) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) triple3) -> rule3) OR ((((triple3 ((triple6) -> rule6)) -> rule8) ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) triple7) -> rule8) ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) triple7) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) ((triple6) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8) ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) triple7) -> rule8) ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((triple4 ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) triple7) -> rule8) triple3) -> rule3) OR ((((triple3 triple7) -> rule8) ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) triple7) -> rule8) ((triple6) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) triple3) -> rule3) OR ((((triple3 ((triple6) -> rule6)) -> rule8) ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) triple7) -> rule8) ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) triple7) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) ((triple6) -> rule2)) -> rule3) OR ((((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8) ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) triple7) -> rule8) ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) triple7) -> rule8) ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) ((((triple5 triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((triple5 triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) triple7) -> rule8) ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2)) -> rule3))] Anne is kind.[(triple3 OR ((triple6) -> rule2) OR ((((triple5 triple7) -> rule5)) -> rule2) OR ((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) OR ((((((((triple4) -> rule1)) -> rule7) triple7) -> rule5)) -> rule2))] Anne is quiet.[(triple4 OR ((triple3 triple7) -> rule8) OR ((triple3 ((triple6) -> rule6)) -> rule8) OR ((((triple6) -> rule2) triple7) -> rule8) OR ((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8) OR ((((((triple5 triple7) -> rule5)) -> rule2) triple7) -> rule8) OR ((((((triple5 triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8) OR ((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) triple7) -> rule8) OR ((((((((triple1) -> rule7) triple7) -> rule5)) -> rule2) ((triple6) -> rule6)) -> rule8))] Anne is smart.[(triple5 OR ((triple1) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((((triple3 triple7) -> rule8)) -> rule1)) -> rule7) OR ((((((triple3 ((triple6) -> rule6)) -> rule8)) -> rule1)) -> rule7) OR ((((((((triple6) -> rule2) triple7) -> rule8)) -> rule1)) -> rule7) OR ((((((((triple6) -> rule2) ((triple6) -> rule6)) -> rule8)) -> rule1)) -> rule7))] Anne is white.[(triple6 OR ((triple5 triple7) -> rule5) OR ((((triple1) -> rule7) triple7) -> rule5) OR ((((((triple4) -> rule1)) -> rule7) triple7) -> rule5) OR ((((((((triple3 triple7) -> rule8)) -> rule1)) -> rule7) triple7) -> rule5))] Anne is young.[(triple7 OR ((triple6) -> rule6))] Erin is cold.[(triple8 OR ((triple11) -> rule1) OR ((((triple10 triple12) -> rule8)) -> rule1))] Erin is kind.[(triple10)] Erin is not green.[(triple9)] Erin is quiet.[(triple11 OR ((triple10 triple12) -> rule8))] Erin is young.[(triple12)] @1: Erin is smart.[(((triple10) -> rule4))] @2: Erin is white.[(((((triple10) -> rule4) triple12) -> rule5))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple4) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple3 triple7) -> (rule8 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple3 ((triple6) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple6) -> (rule2 % int3)) triple7) -> (rule8 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple6) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple5 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
triple2
((triple4 triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
((triple4 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple3 triple7) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple3 triple7) -> (rule8 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((triple4 ((((triple5 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple3 ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple6) -> (rule2 % int3)) triple7) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((triple3 triple7) -> (rule8 % int4)) ((((triple5 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
((((triple3 ((triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple6) -> (rule2 % int3)) triple7) -> (rule8 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple6) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((triple3 ((triple6) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple5 triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple6) -> (rule2 % int4)) triple7) -> (rule8 % int3)) ((((triple5 triple7) -> (rule5 % int2))) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple6) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) ((triple6) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((triple6) -> (rule2 % int5)) ((triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple5 triple7) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((triple4 ((((((triple1) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple5 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple3 triple7) -> (rule8 % int5)) ((((((triple1) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
((((((((triple5 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((triple3 ((triple6) -> (rule6 % int6))) -> (rule8 % int5)) ((((((triple1) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple6) -> (rule2 % int5)) triple7) -> (rule8 % int4)) ((((((triple1) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int5))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
((((((((triple5 triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2)) ((((triple5 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple5 triple7) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) ((triple6) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((triple6) -> (rule2 % int6)) ((triple6) -> (rule6 % int5))) -> (rule8 % int4)) ((((((triple1) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((triple5 triple7) -> (rule5 % int5))) -> (rule2 % int4)) triple7) -> (rule8 % int3)) ((((((triple1) -> (rule7 % int2)) triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((triple5 triple7) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) ((((triple5 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((triple5 triple7) -> (rule5 % int6))) -> (rule2 % int5)) ((triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((((((triple1) -> (rule7 % int2)) triple7) -> (rule5 % int6))) -> (rule2 % int5))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((triple4 ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((triple1) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3 triple7) -> (rule8 % int6)) ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
((((((((((triple1) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2)) ((triple6) -> (rule2 % int3))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple1) -> (rule7 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) triple3) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple3 ((triple6) -> (rule6 % int7))) -> (rule8 % int6)) ((((((((triple4) -> (rule1 % int5))) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is quiet.
("Anne" "is" "quiet" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((triple6) -> (rule2 % int6)) triple7) -> (rule8 % int5)) ((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int6))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
((((((((((triple1) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2)) ((((triple5 triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple1) -> (rule7 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) ((triple6) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((triple6) -> (rule2 % int7)) ((triple6) -> (rule6 % int6))) -> (rule8 % int5)) ((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int7))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is kind.
("Anne" "is" "kind" "+")
int7
((((((((triple5 triple7) -> (rule5 % int6))) -> (rule2 % int5)) triple7) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule5 % int6))) -> (rule2 % int5))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
((((((((((triple1) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3)) triple7) -> (rule8 % int2)) ((((((triple1) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((((((((triple1) -> (rule7 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) ((((triple5 triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((((triple5 triple7) -> (rule5 % int7))) -> (rule2 % int6)) ((triple6) -> (rule6 % int5))) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule5 % int7))) -> (rule2 % int6))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is kind.
("Anne" "is" "kind" "+")
int6
Anne is white.
("Anne" "is" "white" "+")
int7
((((((((((triple1) -> (rule7 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4)) triple7) -> (rule8 % int3)) ((((((((triple4) -> (rule1 % int2))) -> (rule7 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((((((triple1) -> (rule7 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4)) ((triple6) -> (rule6 % int3))) -> (rule8 % int2)) ((((((triple1) -> (rule7 % int6)) triple7) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((((((((triple1) -> (rule7 % int7)) triple7) -> (rule5 % int6))) -> (rule2 % int5)) ((triple6) -> (rule6 % int4))) -> (rule8 % int3)) ((((((((triple4) -> (rule1 % int2))) -> (rule7 % int7)) triple7) -> (rule5 % int6))) -> (rule2 % int5))) -> (rule3 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
int6
Anne is smart.
("Anne" "is" "smart" "+")
int7
Anne is kind.
("Anne" "is" "kind" "+")
triple3
((triple6) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple5 triple7) -> (rule5 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((((triple1) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((((((triple4) -> (rule1 % int4))) -> (rule7 % int3)) triple7) -> (rule5 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple3 triple7) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple3 ((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple6) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple6) -> (rule2 % int3)) ((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple5 triple7) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple5 triple7) -> (rule5 % int4))) -> (rule2 % int3)) ((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((((triple1) -> (rule7 % int4)) triple7) -> (rule5 % int3))) -> (rule2 % int2)) triple7) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((((triple1) -> (rule7 % int5)) triple7) -> (rule5 % int4))) -> (rule2 % int3)) ((triple6) -> (rule6 % int2))) -> (rule8 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple1) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple3 triple7) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple3 ((triple6) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple6) -> (rule2 % int4)) triple7) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple6) -> (rule2 % int5)) ((triple6) -> (rule6 % int4))) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
int5
Anne is white.
("Anne" "is" "white" "+")
triple6
((triple5 triple7) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple1) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple4) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple3 triple7) -> (rule8 % int4))) -> (rule1 % int3))) -> (rule7 % int2)) triple7) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
triple7
((triple6) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
triple8
((triple11) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((((triple10 triple12) -> (rule8 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
triple10
Erin is not green.
("Erin" "is" "green" "-")
triple9
Erin is quiet.
("Erin" "is" "quiet" "+")
triple11
((triple10 triple12) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
triple12
Erin is smart.
("Erin" "is" "smart" "+")
((triple10) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
((((triple10) -> (rule4 % int2)) triple12) -> (rule5 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2