Anne is furry. Anne is quiet. Anne is young. Harry is furry. Harry is green. Harry is quiet. Harry is young. If Harry is quiet then Harry is round. If something is young then it is furry. Furry, green things are quiet. Blue things are quiet. If Anne is smart and Anne is round then Anne is green. All young things are blue. Smart, quiet things are round. Blue, furry things are smart.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is young.
("Harry" "is" "young" "+")
If Harry is quiet then Harry is round.
((("Harry" "is" "quiet" "+")) -> ("Harry" "is" "round" "+"))
If something is young then it is furry.
((("something" "is" "young" "+")) -> ("something" "is" "furry" "+"))
Furry, green things are quiet.
((("something" "is" "furry" "+") ("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
Blue things are quiet.
((("something" "is" "blue" "+")) -> ("something" "is" "quiet" "+"))
If Anne is smart and Anne is round then Anne is green.
((("Anne" "is" "smart" "+") ("Anne" "is" "round" "+")) -> ("Anne" "is" "green" "+"))
All young things are blue.
((("something" "is" "young" "+")) -> ("something" "is" "blue" "+"))
Smart, quiet things are round.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "round" "+"))
Blue, furry things are smart.
((("something" "is" "blue" "+") ("something" "is" "furry" "+")) -> ("something" "is" "smart" "+"))
Anne is young.
True
1
proof
[(triple3)]
("Anne" "is" "young" "+")
triple3
Harry is not furry.
False
1
inv-proof
[(triple4 OR ((triple7) -> rule2))]
("Harry" "is" "furry" "-")
triple4
((triple7) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is blue.
True
2
proof
[(((triple7) -> rule6))]
("Harry" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is not round.
False
2
inv-proof
[(((triple6) -> rule1) OR ((((triple4 triple5) -> rule3)) -> rule1) OR ((((((triple7) -> rule6)) -> rule4)) -> rule1) OR ((((((triple7) -> rule2) triple5) -> rule3)) -> rule1) OR ((((((triple7) -> rule6) triple4) -> rule8) triple6) -> rule7) OR ((((((triple7) -> rule6) triple4) -> rule8) ((triple4 triple5) -> rule3)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8) triple6) -> rule7) OR ((((((triple7) -> rule6) triple4) -> rule8) ((((triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((triple7) -> rule6) triple4) -> rule8) ((((triple7) -> rule2) triple5) -> rule3)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8) ((triple4 triple5) -> rule3)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule2) triple5) -> rule3)) -> rule7))]
("Harry" "is" "round" "-")
((triple6) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple4 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple7) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple7) -> (rule6 % int3)) triple4) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple7) -> (rule6 % int4)) triple4) -> (rule8 % int3)) ((triple4 triple5) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple7) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple7) -> (rule6 % int4)) triple4) -> (rule8 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple7) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule6 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple5) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule6 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule6 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule2 % int4)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Harry is smart.
True
4
proof
[(((((triple7) -> rule6) triple4) -> rule8) OR ((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8))]
("Harry" "is" "smart" "+")
((((triple7) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is not smart.
False
4
inv-proof
[(((((triple7) -> rule6) triple4) -> rule8) OR ((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8))]
("Harry" "is" "smart" "-")
((((triple7) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
@0: Anne is furry.[(triple1 OR ((triple3) -> rule2))] Anne is quiet.[(triple2 OR ((((triple3) -> rule6)) -> rule4))] Anne is young.[(triple3)] Harry is furry.[(triple4 OR ((triple7) -> rule2))] Harry is green.[(triple5)] Harry is quiet.[(triple6 OR ((triple4 triple5) -> rule3) OR ((((triple7) -> rule6)) -> rule4) OR ((((triple7) -> rule2) triple5) -> rule3))] Harry is young.[(triple7)] @1: Anne is blue.[(((triple3) -> rule6))] Harry is blue.[(((triple7) -> rule6))] Harry is round.[(((triple6) -> rule1) OR ((((triple4 triple5) -> rule3)) -> rule1) OR ((((((triple7) -> rule6)) -> rule4)) -> rule1) OR ((((((triple7) -> rule2) triple5) -> rule3)) -> rule1) OR ((((((triple7) -> rule6) triple4) -> rule8) triple6) -> rule7) OR ((((((triple7) -> rule6) triple4) -> rule8) ((triple4 triple5) -> rule3)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8) triple6) -> rule7) OR ((((((triple7) -> rule6) triple4) -> rule8) ((((triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((triple7) -> rule6) triple4) -> rule8) ((((triple7) -> rule2) triple5) -> rule3)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8) ((triple4 triple5) -> rule3)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule6)) -> rule4)) -> rule7) OR ((((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8) ((((triple7) -> rule2) triple5) -> rule3)) -> rule7))] @2: Anne is smart.[(((((triple3) -> rule6) triple1) -> rule8) OR ((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8))] Harry is smart.[(((((triple7) -> rule6) triple4) -> rule8) OR ((((triple7) -> rule6) ((triple7) -> rule2)) -> rule8))] @3: Anne is round.[(((((((triple3) -> rule6) triple1) -> rule8) triple2) -> rule7) OR ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) triple2) -> rule7) OR ((((((triple3) -> rule6) triple1) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7) OR ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7))] @4: Anne is green.[(((((((triple3) -> rule6) triple1) -> rule8) ((((((triple3) -> rule6) triple1) -> rule8) triple2) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple1) -> rule8) ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) triple2) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) ((((((triple3) -> rule6) triple1) -> rule8) triple2) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple1) -> rule8) ((((((triple3) -> rule6) triple1) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) triple2) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) triple1) -> rule8) ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) ((((((triple3) -> rule6) triple1) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule5) OR ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) ((((((triple3) -> rule6) ((triple3) -> rule2)) -> rule8) ((((triple3) -> rule6)) -> rule4)) -> rule7)) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
((((triple3) -> (rule6 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
triple3
Harry is furry.
("Harry" "is" "furry" "+")
triple4
((triple7) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple5
Harry is quiet.
("Harry" "is" "quiet" "+")
triple6
((triple4 triple5) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple7) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple3) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple7) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple6) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((((triple4 triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple7) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple7) -> (rule6 % int3)) triple4) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple7) -> (rule6 % int4)) triple4) -> (rule8 % int3)) ((triple4 triple5) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple7) -> (rule6 % int4)) ((triple7) -> (rule2 % int3))) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple7) -> (rule6 % int4)) triple4) -> (rule8 % int3)) ((((triple7) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple7) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple7) -> (rule2 % int3)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule6 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((triple4 triple5) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule6 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule6 % int5)) ((triple7) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple7) -> (rule2 % int4)) triple5) -> (rule3 % int2))) -> (rule7 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
((((triple3) -> (rule6 % int2)) triple1) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple3) -> (rule6 % int3)) ((triple3) -> (rule2 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
((((triple7) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple7) -> (rule6 % int3)) ((triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
((((((triple3) -> (rule6 % int3)) triple1) -> (rule8 % int2)) triple2) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple3) -> (rule6 % int4)) ((triple3) -> (rule2 % int3))) -> (rule8 % int2)) triple2) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple3) -> (rule6 % int4)) triple1) -> (rule8 % int3)) ((((triple3) -> (rule6 % int4))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple3) -> (rule6 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule6 % int5))) -> (rule4 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Anne is green.
("Anne" "is" "green" "+")
((((((triple3) -> (rule6 % int4)) triple1) -> (rule8 % int3)) ((((((triple3) -> (rule6 % int4)) triple1) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple3) -> (rule6 % int5)) triple1) -> (rule8 % int4)) ((((((triple3) -> (rule6 % int5)) ((triple3) -> (rule2 % int3))) -> (rule8 % int4)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple3) -> (rule6 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule6 % int5)) triple1) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple3) -> (rule6 % int5)) triple1) -> (rule8 % int4)) ((((((triple3) -> (rule6 % int5)) triple1) -> (rule8 % int4)) ((((triple3) -> (rule6 % int5))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple3) -> (rule6 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) ((((((triple3) -> (rule6 % int5)) ((triple3) -> (rule2 % int4))) -> (rule8 % int3)) triple2) -> (rule7 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((triple3) -> (rule6 % int6)) triple1) -> (rule8 % int5)) ((((((triple3) -> (rule6 % int6)) ((triple3) -> (rule2 % int4))) -> (rule8 % int5)) ((((triple3) -> (rule6 % int6))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is furry.
("Anne" "is" "furry" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
int6
((((((triple3) -> (rule6 % int6)) ((triple3) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple3) -> (rule6 % int6)) triple1) -> (rule8 % int4)) ((((triple3) -> (rule6 % int6))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
int6
((((((triple3) -> (rule6 % int6)) ((triple3) -> (rule2 % int5))) -> (rule8 % int4)) ((((((triple3) -> (rule6 % int6)) ((triple3) -> (rule2 % int5))) -> (rule8 % int4)) ((((triple3) -> (rule6 % int6))) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is furry.
("Anne" "is" "furry" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
int6