Anne is blue. Anne is round. Erin is quiet. Fiona is kind. Fiona is quiet. Fiona is round. Harry is blue. Harry is furry. Harry is kind. Harry is quiet. Harry is round. All quiet people are blue. All furry, blue people are kind. Blue people are smart. Furry people are quiet. Rough people are smart. All furry, kind people are rough. All smart people are furry. All kind people are rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is round.
("Anne" "is" "round" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
All quiet people are blue.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All furry, blue people are kind.
((("someone" "is" "furry" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Blue people are smart.
((("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Rough people are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
All furry, kind people are rough.
((("someone" "is" "furry" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
All smart people are furry.
((("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Harry is furry.
True
1
proof
[(triple8 OR ((((triple7) -> rule3)) -> rule7) OR ((((((triple10) -> rule1)) -> rule3)) -> rule7) OR ((((((triple9) -> rule8)) -> rule5)) -> rule7))]
("Harry" "is" "furry" "+")
triple8
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Anne is not round.
False
1
inv-proof
[(triple2)]
("Anne" "is" "round" "-")
triple2
Harry is smart.
True
2
proof
[(((triple7) -> rule3) OR ((((triple10) -> rule1)) -> rule3) OR ((((triple9) -> rule8)) -> rule5) OR ((((triple8 triple9) -> rule6)) -> rule5) OR ((((((triple8) -> rule4)) -> rule1)) -> rule3) OR ((((((triple8 triple7) -> rule2)) -> rule8)) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple8 ((triple10) -> rule1)) -> rule2)) -> rule8)) -> rule5) OR ((((triple8 ((triple8 ((triple10) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule8)) -> rule5) OR ((((triple8 ((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule5))]
("Harry" "is" "smart" "+")
((triple7) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple8 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple8 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple8 ((triple8 triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple8 ((triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple8 ((triple8 ((triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple8 ((((triple8) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple8 ((triple8 ((((triple8) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Erin is not blue.
False
2
inv-proof
[(((triple3) -> rule1))]
("Erin" "is" "blue" "-")
((triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is smart.
True
3
proof
[(((((triple3) -> rule1)) -> rule3))]
("Erin" "is" "smart" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is not smart.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule3))]
("Erin" "is" "smart" "-")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is furry.
True
4
proof
[(((((((triple4) -> rule8)) -> rule5)) -> rule7) OR ((((((triple5) -> rule1)) -> rule3)) -> rule7))]
("Fiona" "is" "furry" "+")
((((((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is not furry.
False
4
inv-proof
[(((((((triple4) -> rule8)) -> rule5)) -> rule7) OR ((((((triple5) -> rule1)) -> rule3)) -> rule7))]
("Fiona" "is" "furry" "-")
((((((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Erin is kind.
True
7
proof
[(((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2))]
("Erin" "is" "kind" "+")
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple3) -> (rule1 % int4))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is not kind.
False
7
inv-proof
[(((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2))]
("Erin" "is" "kind" "-")
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple3) -> (rule1 % int4))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
True
8
proof
[(((((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2)) -> rule6))]
("Erin" "is" "rough" "+")
((((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is not rough.
False
8
inv-proof
[(((((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2)) -> rule6))]
("Erin" "is" "rough" "-")
((((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
@0: Anne is blue.[(triple1)] Anne is round.[(triple2)] Erin is quiet.[(triple3)] Fiona is kind.[(triple4 OR ((((((((triple5) -> rule1)) -> rule3)) -> rule7) ((triple5) -> rule1)) -> rule2))] Fiona is quiet.[(triple5 OR ((((((((triple4) -> rule8)) -> rule5)) -> rule7)) -> rule4))] Fiona is round.[(triple6)] Harry is blue.[(triple7 OR ((triple10) -> rule1) OR ((((triple8) -> rule4)) -> rule1) OR ((((((((((triple9) -> rule8)) -> rule5)) -> rule7)) -> rule4)) -> rule1))] Harry is furry.[(triple8 OR ((((triple7) -> rule3)) -> rule7) OR ((((((triple10) -> rule1)) -> rule3)) -> rule7) OR ((((((triple9) -> rule8)) -> rule5)) -> rule7))] Harry is kind.[(triple9 OR ((triple8 triple7) -> rule2) OR ((triple8 ((triple10) -> rule1)) -> rule2) OR ((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2) OR ((((((triple7) -> rule3)) -> rule7) triple7) -> rule2) OR ((((((triple7) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2) OR ((((((triple7) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) triple7) -> rule2) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2))] Harry is quiet.[(triple10 OR ((triple8) -> rule4) OR ((((((triple7) -> rule3)) -> rule7)) -> rule4) OR ((((((((triple9) -> rule8)) -> rule5)) -> rule7)) -> rule4))] Harry is round.[(triple11)] @1: Anne is smart.[(((triple1) -> rule3))] Erin is blue.[(((triple3) -> rule1))] Fiona is blue.[(((triple5) -> rule1) OR ((((((((((triple4) -> rule8)) -> rule5)) -> rule7)) -> rule4)) -> rule1))] Fiona is rough.[(((triple4) -> rule8) OR ((((((((triple5) -> rule1)) -> rule3)) -> rule7) triple4) -> rule6) OR ((((((((((triple5) -> rule1)) -> rule3)) -> rule7) ((triple5) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple5) -> rule1)) -> rule3)) -> rule7) ((((((((triple5) -> rule1)) -> rule3)) -> rule7) ((triple5) -> rule1)) -> rule2)) -> rule6))] Harry is rough.[(((triple9) -> rule8) OR ((triple8 triple9) -> rule6) OR ((((triple8 triple7) -> rule2)) -> rule8) OR ((triple8 ((triple8 triple7) -> rule2)) -> rule6) OR ((((triple8 ((triple10) -> rule1)) -> rule2)) -> rule8) OR ((triple8 ((triple8 ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) triple9) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((triple8 triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((triple8 ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple7) -> rule3)) -> rule7) triple7) -> rule2)) -> rule8) OR ((triple8 ((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((triple8 ((((((triple7) -> rule3)) -> rule7) triple7) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) triple9) -> rule6) OR ((((((((triple7) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2)) -> rule8) OR ((triple8 ((((((triple7) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((triple8 triple7) -> rule2)) -> rule6) OR ((((((((triple7) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple8 ((((((triple7) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((((((triple7) -> rule3)) -> rule7) triple7) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((triple8 ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((((((triple7) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((((triple7) -> rule3)) -> rule7) triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((((((triple7) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((((triple7) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((((triple7) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((((((triple10) -> rule1)) -> rule3)) -> rule7) triple7) -> rule2)) -> rule8) OR ((triple8 ((((((((triple10) -> rule1)) -> rule3)) -> rule7) triple7) -> rule2)) -> rule6) OR ((((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2)) -> rule8) OR ((triple8 ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule8) OR ((triple8 ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((((((((triple10) -> rule1)) -> rule3)) -> rule7) triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((((((triple10) -> rule1)) -> rule3)) -> rule7) triple7) -> rule2)) -> rule6) OR ((((((triple7) -> rule3)) -> rule7) ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((triple10) -> rule1)) -> rule2)) -> rule6) OR ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((((((triple10) -> rule1)) -> rule3)) -> rule7) ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6))] Harry is smart.[(((triple7) -> rule3) OR ((((triple10) -> rule1)) -> rule3) OR ((((triple9) -> rule8)) -> rule5) OR ((((triple8 triple9) -> rule6)) -> rule5) OR ((((((triple8) -> rule4)) -> rule1)) -> rule3) OR ((((((triple8 triple7) -> rule2)) -> rule8)) -> rule5) OR ((((triple8 ((triple8 triple7) -> rule2)) -> rule6)) -> rule5) OR ((((((triple8 ((triple10) -> rule1)) -> rule2)) -> rule8)) -> rule5) OR ((((triple8 ((triple8 ((triple10) -> rule1)) -> rule2)) -> rule6)) -> rule5) OR ((((((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule8)) -> rule5) OR ((((triple8 ((triple8 ((((triple8) -> rule4)) -> rule1)) -> rule2)) -> rule6)) -> rule5))] @2: Anne is furry.[(((((triple1) -> rule3)) -> rule7))] Erin is smart.[(((((triple3) -> rule1)) -> rule3))] Fiona is smart.[(((((triple4) -> rule8)) -> rule5) OR ((((triple5) -> rule1)) -> rule3))] @3: Anne is kind.[(((((((triple1) -> rule3)) -> rule7) triple1) -> rule2))] Anne is quiet.[(((((((triple1) -> rule3)) -> rule7)) -> rule4))] Erin is furry.[(((((((triple3) -> rule1)) -> rule3)) -> rule7))] Fiona is furry.[(((((((triple4) -> rule8)) -> rule5)) -> rule7) OR ((((((triple5) -> rule1)) -> rule3)) -> rule7))] @4: Anne is rough.[(((((((((triple1) -> rule3)) -> rule7) triple1) -> rule2)) -> rule8) OR ((((((triple1) -> rule3)) -> rule7) ((((((triple1) -> rule3)) -> rule7) triple1) -> rule2)) -> rule6))] Erin is kind.[(((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2))] @5: Erin is rough.[(((((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((((((((triple3) -> rule1)) -> rule3)) -> rule7) ((triple3) -> rule1)) -> rule2)) -> rule6))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
((((((((triple5) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple5) -> (rule1 % int4))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
((((((((triple4) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
((triple10) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple8) -> (rule4 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((((((((triple9) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
triple8
((((triple7) -> (rule3 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((((triple10) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple9) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
triple9
((triple8 triple7) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple8 ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple8 ((((triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) ((triple10) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple10) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple7) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple10) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple10) -> (rule1 % int4))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((triple8) -> (rule4 % int2))) -> (rule1 % int5))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
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
Harry is quiet.
("Harry" "is" "quiet" "+")
triple10
((triple8) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((((triple9) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is round.
("Harry" "is" "round" "+")
triple11
Anne is smart.
("Anne" "is" "smart" "+")
((triple1) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
((triple3) -> (rule1 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((((((((triple4) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple4) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((((((triple5) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple4) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((((triple5) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple5) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((((triple5) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((((triple5) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple5) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
((triple9) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((triple8 triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple8 triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((triple8 ((triple8 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple8 ((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((triple8 ((triple8 ((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) ((triple8 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((triple8 ((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((triple8 ((((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((triple8 ((triple8 ((((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((triple8 ((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((((triple10) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) triple9) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((triple8 ((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple8 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) ((((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((triple8 ((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) ((((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) ((triple8 ((((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) ((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple8 ((triple10) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple10) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((triple8 ((((triple8) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) ((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) ((((triple8) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((triple7) -> (rule3 % int4))) -> (rule7 % int3)) ((triple10) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple10) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple8 ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple10) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((triple8 ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple10) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((((triple10) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule2 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((triple8 ((((((((triple10) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((((((((triple10) -> (rule1 % int3))) -> (rule3 % int5))) -> (rule7 % int4)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple7) -> (rule3 % int5))) -> (rule7 % int4)) ((((((((triple10) -> (rule1 % int3))) -> (rule3 % int5))) -> (rule7 % int4)) ((triple10) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple7) -> (rule3 % int6))) -> (rule7 % int5)) ((((((((triple10) -> (rule1 % int4))) -> (rule3 % int6))) -> (rule7 % int5)) ((((triple8) -> (rule4 % int3))) -> (rule1 % int4))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
int6
((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((((triple10) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple10) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((((triple10) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((((((triple10) -> (rule1 % int6))) -> (rule3 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule4 % int3))) -> (rule1 % int6))) -> (rule2 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
Harry is blue.
("Harry" "is" "blue" "+")
int6
Harry is smart.
("Harry" "is" "smart" "+")
((triple7) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((((triple10) -> (rule1 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((((triple9) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((triple8 triple9) -> (rule6 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple8) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((((((triple8 triple7) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((triple8 ((triple8 triple7) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple8 ((triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple8 ((triple8 ((triple10) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple8 ((((triple8) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((triple8 ((triple8 ((((triple8) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
((((triple1) -> (rule3 % int2))) -> (rule7 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple4) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
((((((triple1) -> (rule3 % int3))) -> (rule7 % int2)) triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple1) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple4) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
((((((((triple1) -> (rule3 % int4))) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule8 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1) -> (rule3 % int4))) -> (rule7 % int3)) ((((((triple1) -> (rule3 % int4))) -> (rule7 % int3)) triple1) -> (rule2 % int2))) -> (rule6 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule7 % int2)) ((triple3) -> (rule1 % int4))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((((((((triple3) -> (rule1 % int5))) -> (rule3 % int4))) -> (rule7 % int3)) ((triple3) -> (rule1 % int5))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5