Dave is big. Dave is kind. Dave is rough. Erin is big. Erin is furry. Erin is quiet. Erin is rough. Erin is white. Fiona is big. Harry is kind. Harry is red. If Erin is white then Erin is big. All quiet people are white. All furry, big people are quiet. All big people are furry. Quiet people are rough. All big, white people are kind. If Erin is big then Erin is white. If someone is red and furry then they are quiet. If someone is quiet and kind then they are red.
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
If Erin is white then Erin is big.
((("Erin" "is" "white" "+")) -> ("Erin" "is" "big" "+"))
All quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
All furry, big people are quiet.
((("someone" "is" "furry" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "quiet" "+"))
All big people are furry.
((("someone" "is" "big" "+")) -> ("someone" "is" "furry" "+"))
Quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All big, white people are kind.
((("someone" "is" "big" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "kind" "+"))
If Erin is big then Erin is white.
((("Erin" "is" "big" "+")) -> ("Erin" "is" "white" "+"))
If someone is red and furry then they are quiet.
((("someone" "is" "red" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
If someone is quiet and kind then they are red.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
Erin is quiet.
True
1
proof
[(triple6 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple8) -> rule1)) -> rule3) OR ((((triple4) -> rule4) triple4) -> rule3) OR ((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) OR ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3))]
("Erin" "is" "quiet" "+")
triple6
((triple5 triple4) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple5 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple8) -> (rule1 % int3))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is not white.
False
1
inv-proof
[(triple8 OR ((triple4) -> rule7) OR ((triple6) -> rule2) OR ((((triple5 triple4) -> rule3)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2))]
("Erin" "is" "white" "-")
triple8
((triple4) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple6) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple5 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
True
3
proof
[(((triple4 triple8) -> rule6) OR ((triple4 ((triple4) -> rule7)) -> rule6) OR ((triple4 ((triple6) -> rule2)) -> rule6) OR ((((triple8) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6) OR ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6) OR ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6) OR ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6) OR ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6))]
("Erin" "is" "kind" "+")
((triple4 triple8) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple4 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple4 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple8) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple4 ((((triple5 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple8) -> (rule1 % int4)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int3))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple5 triple4) -> (rule3 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple4 ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple8) -> (rule1 % int5)) ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6) -> (rule2 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule2 % int5))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Dave is not furry.
False
2
inv-proof
[(((triple1) -> rule4))]
("Dave" "is" "furry" "-")
((triple1) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Fiona is quiet.
True
4
proof
[(((((triple9) -> rule4) triple9) -> rule3))]
("Fiona" "is" "quiet" "+")
((((triple9) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Dave is not quiet.
False
4
inv-proof
[(((((triple1) -> rule4) triple1) -> rule3))]
("Dave" "is" "quiet" "-")
((((triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Fiona is white.
True
5
proof
[(((((((triple9) -> rule4) triple9) -> rule3)) -> rule2))]
("Fiona" "is" "white" "+")
((((((triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Dave is not red.
False
6
inv-proof
[(((((((triple1) -> rule4) triple1) -> rule3) triple2) -> rule9) OR ((((((triple1) -> rule4) triple1) -> rule3) ((triple1 ((((((triple1) -> rule4) triple1) -> rule3)) -> rule2)) -> rule6)) -> rule9))]
("Dave" "is" "red" "-")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2)) triple2) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple1) -> (rule4 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((((((triple1) -> (rule4 % int5)) triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Fiona is kind.
True
7
proof
[(((triple9 ((((((triple9) -> rule4) triple9) -> rule3)) -> rule2)) -> rule6))]
("Fiona" "is" "kind" "+")
((triple9 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is not kind.
False
7
inv-proof
[(((triple9 ((((((triple9) -> rule4) triple9) -> rule3)) -> rule2)) -> rule6))]
("Fiona" "is" "kind" "-")
((triple9 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is red.
True
12
proof
[(((((((triple9) -> rule4) triple9) -> rule3) ((triple9 ((((((triple9) -> rule4) triple9) -> rule3)) -> rule2)) -> rule6)) -> rule9))]
("Fiona" "is" "red" "+")
((((((triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4)) ((triple9 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Fiona is not red.
False
12
inv-proof
[(((((((triple9) -> rule4) triple9) -> rule3) ((triple9 ((((((triple9) -> rule4) triple9) -> rule3)) -> rule2)) -> rule6)) -> rule9))]
("Fiona" "is" "red" "-")
((((((triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4)) ((triple9 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5
Harry is not furry.
Unknown
inv-rconc
[@1: Harry is furry.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is rough.
Unknown
rconc
[@3: Harry is rough.[CWA. Example of deepest failure = (rule5 <- rule8 <- rule4 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not white.
Unknown
inv-rconc
[@3: Harry is white.[CWA. Example of deepest failure = (rule2 <- rule8 <- rule4 <- FAIL)]]
("Harry" "is" "white" "-")
Harry is quiet.
Unknown
rconc
[@2: Harry is quiet.[CWA. Example of deepest failure = (rule8 <- rule4 <- FAIL)]]
("Harry" "is" "quiet" "+")
@0: Dave is big.[(triple1)] Dave is kind.[(triple2 OR ((triple1 ((((((triple1) -> rule4) triple1) -> rule3)) -> rule2)) -> rule6))] Dave is rough.[(triple3 OR ((((((triple1) -> rule4) triple1) -> rule3)) -> rule5))] Erin is big.[(triple4 OR ((triple8) -> rule1) OR ((((triple6) -> rule2)) -> rule1))] Erin is furry.[(triple5 OR ((triple4) -> rule4) OR ((((triple8) -> rule1)) -> rule4) OR ((((((triple6) -> rule2)) -> rule1)) -> rule4))] Erin is quiet.[(triple6 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple8) -> rule1)) -> rule3) OR ((((triple4) -> rule4) triple4) -> rule3) OR ((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) OR ((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) OR ((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3))] Erin is rough.[(triple7 OR ((triple6) -> rule5) OR ((((triple5 triple4) -> rule3)) -> rule5) OR ((((triple5 ((triple8) -> rule1)) -> rule3)) -> rule5) OR ((((((triple4) -> rule4) triple4) -> rule3)) -> rule5) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3)) -> rule5) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3)) -> rule5) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3)) -> rule5))] Erin is white.[(triple8 OR ((triple4) -> rule7) OR ((triple6) -> rule2) OR ((((triple5 triple4) -> rule3)) -> rule2) OR ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2))] Fiona is big.[(triple9)] Harry is kind.[(triple10)] Harry is red.[(triple11)] @1: Dave is furry.[(((triple1) -> rule4))] Erin is kind.[(((triple4 triple8) -> rule6) OR ((triple4 ((triple4) -> rule7)) -> rule6) OR ((triple4 ((triple6) -> rule2)) -> rule6) OR ((((triple8) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6) OR ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6) OR ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6) OR ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6) OR ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6) OR ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6) OR ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6))] Fiona is furry.[(((triple9) -> rule4))] @2: Dave is quiet.[(((((triple1) -> rule4) triple1) -> rule3))] Erin is red.[(((triple6 ((triple4 triple8) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((triple4 triple8) -> rule6)) -> rule9) OR ((triple6 ((triple4 ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((triple6 ((triple4 ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((triple6 ((((triple8) -> rule1) triple8) -> rule6)) -> rule9) OR ((triple6 ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((triple6 ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((triple4 ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((triple4 ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((triple8) -> rule1) triple8) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((triple4 triple8) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((triple4 triple8) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((triple4 ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((triple4 ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((triple4 ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((triple4 ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 triple8) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((triple6 ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((triple6 ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6)) -> rule9) OR ((triple6 ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((triple6 ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((triple6 ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((triple4 triple8) -> rule6)) -> rule9) OR ((triple6 ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((triple4 ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((triple4 ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 triple8) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) triple8) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) triple8) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple4) -> rule7)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((triple6) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((triple5 triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((triple6 ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((triple6 ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((triple6 ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((triple5 ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((triple4 ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((triple4) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) triple4) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((triple8) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9) OR ((((((((triple8) -> rule1)) -> rule4) ((triple8) -> rule1)) -> rule3) ((((((triple6) -> rule2)) -> rule1) ((((((triple4) -> rule4) triple4) -> rule3)) -> rule2)) -> rule6)) -> rule9))] Fiona is quiet.[(((((triple9) -> rule4) triple9) -> rule3))] @3: Dave is red.[(((((((triple1) -> rule4) triple1) -> rule3) triple2) -> rule9) OR ((((((triple1) -> rule4) triple1) -> rule3) ((triple1 ((((((triple1) -> rule4) triple1) -> rule3)) -> rule2)) -> rule6)) -> rule9))] Dave is white.[(((((((triple1) -> rule4) triple1) -> rule3)) -> rule2))] Fiona is rough.[(((((((triple9) -> rule4) triple9) -> rule3)) -> rule5))] Fiona is white.[(((((((triple9) -> rule4) triple9) -> rule3)) -> rule2))] @4: Fiona is kind.[(((triple9 ((((((triple9) -> rule4) triple9) -> rule3)) -> rule2)) -> rule6))] @5: Fiona is red.[(((((((triple9) -> rule4) triple9) -> rule3) ((triple9 ((((((triple9) -> rule4) triple9) -> rule3)) -> rule2)) -> rule6)) -> rule9))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((triple1 ((((((triple1) -> (rule4 % int4)) triple1) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
triple3
((((((triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2))) -> (rule5 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
triple4
((triple8) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((((triple6) -> (rule2 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
triple5
((triple4) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
((triple5 triple4) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
((triple5 ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4) -> (rule4 % int3)) ((triple8) -> (rule1 % int2))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple8) -> (rule1 % int3))) -> (rule4 % int2)) ((triple8) -> (rule1 % int3))) -> (rule3 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple7
((triple6) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple5 triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((triple5 ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple4) -> (rule4 % int4)) ((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple8) -> (rule1 % int4))) -> (rule4 % int3)) ((triple8) -> (rule1 % int4))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
triple8
((triple4) -> (rule7 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple6) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((((triple5 triple4) -> (rule3 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple11
Dave is furry.
("Dave" "is" "furry" "+")
((triple1) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((triple4 triple8) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple4 ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple4 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple8) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple8) -> (rule1 % int3)) ((triple4) -> (rule7 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple8) -> (rule1 % int3)) ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple4 ((((triple5 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2)) triple8) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple8) -> (rule1 % int4)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2)) ((triple4) -> (rule7 % int3))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6) -> (rule2 % int3))) -> (rule1 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple5 triple4) -> (rule3 % int2))) -> (rule2 % int4))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple4 ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple8) -> (rule1 % int5)) ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple6) -> (rule2 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int2))) -> (rule2 % int5))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple9) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
((((triple1) -> (rule4 % int2)) triple1) -> (rule3 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((triple6 ((triple4 triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple5 triple4) -> (rule3 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
((triple6 ((triple4 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((triple4 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple6 ((((triple8) -> (rule1 % int3)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple6 ((((triple8) -> (rule1 % int4)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((triple6 ((((triple8) -> (rule1 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((triple4 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((((triple8) -> (rule1 % int3)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple5 ((triple8) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple5 triple4) -> (rule3 % int5)) ((((triple8) -> (rule1 % int4)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple5 triple4) -> (rule3 % int5)) ((((triple8) -> (rule1 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5 ((triple8) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple8) -> (rule1 % int4)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((triple4 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple8) -> (rule1 % int3)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4) -> (rule4 % int5)) ((triple8) -> (rule1 % int4))) -> (rule3 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int5)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int5)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((triple8) -> (rule1 % int4)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((triple8) -> (rule1 % int4)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int5)) ((triple8) -> (rule1 % int4))) -> (rule3 % int3)) ((((triple8) -> (rule1 % int4)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int5)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int5)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((triple6 ((triple4 ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((triple6 ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple6 ((((triple8) -> (rule1 % int5)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((triple6 ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple6 ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((triple6) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple5 triple4) -> (rule3 % int4)) ((triple4 ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
((((triple5 triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((triple6 ((((((triple6) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple5 triple4) -> (rule3 % int3))) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple5 triple4) -> (rule3 % int5)) ((((triple8) -> (rule1 % int4)) ((((triple5 triple4) -> (rule3 % int5))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple5 triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple5 triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((triple6) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4 ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((triple4 ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((triple4 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) triple4) -> (rule3 % int3)) ((((triple8) -> (rule1 % int5)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((triple8) -> (rule1 % int5))) -> (rule3 % int3)) ((triple4 triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5 triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple5 triple4) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int5)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((triple8) -> (rule1 % int4)) ((((triple5 triple4) -> (rule3 % int5))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((triple4) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((triple6) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4 ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((triple4 ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple8) -> (rule1 % int6)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple8) -> (rule1 % int6)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((triple4 ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int5))) -> (rule4 % int4)) ((triple8) -> (rule1 % int5))) -> (rule3 % int3)) ((((triple8) -> (rule1 % int5)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple5 ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple5 triple4) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int5)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple8) -> (rule1 % int6)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((triple4 ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int6)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int6)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) triple8) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int6)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) ((triple4) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) ((triple6) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) ((((triple5 triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((triple6 ((triple4 ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((triple6 ((((triple8) -> (rule1 % int6)) ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((triple5 triple4) -> (rule3 % int5)) ((triple4 ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int5))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
((triple6 ((((((triple6) -> (rule2 % int6))) -> (rule1 % int5)) ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int3))) -> (rule2 % int6))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
int6
((((triple5 triple4) -> (rule3 % int6)) ((((triple8) -> (rule1 % int5)) ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int6))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
int6
((((triple5 ((triple8) -> (rule1 % int6))) -> (rule3 % int5)) ((triple4 ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int5))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((triple4 ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple5 triple4) -> (rule3 % int6)) ((((((triple6) -> (rule2 % int5))) -> (rule1 % int4)) ((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int6))) -> (rule2 % int5))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
Erin is quiet.
("Erin" "is" "quiet" "+")
int6
((((triple5 ((triple8) -> (rule1 % int6))) -> (rule3 % int5)) ((((triple8) -> (rule1 % int6)) ((((((triple4) -> (rule4 % int4)) triple4) -> (rule3 % int5))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((triple8) -> (rule1 % int4)) ((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((triple4 ((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((triple4 ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((triple5 ((triple8) -> (rule1 % int6))) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int6)) ((((((triple4) -> (rule4 % int3)) triple4) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5)) ((((((triple6) -> (rule2 % int4))) -> (rule1 % int3)) ((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int5)) ((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((triple8) -> (rule1 % int6)) ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((triple4 ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((triple4) -> (rule4 % int6)) ((triple8) -> (rule1 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int5)) ((((((triple4) -> (rule4 % int6)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is furry.
("Erin" "is" "furry" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) triple4) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((triple8) -> (rule1 % int6)) ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
((((((((triple8) -> (rule1 % int6))) -> (rule4 % int5)) ((triple8) -> (rule1 % int6))) -> (rule3 % int4)) ((((((triple6) -> (rule2 % int3))) -> (rule1 % int6)) ((((((triple4) -> (rule4 % int5)) triple4) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((triple9) -> (rule4 % int2)) triple9) -> (rule3 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2)) triple2) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple1) -> (rule4 % int5)) triple1) -> (rule3 % int4)) ((triple1 ((((((triple1) -> (rule4 % int5)) triple1) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is quiet.
("Dave" "is" "quiet" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is white.
("Dave" "is" "white" "+")
((((((triple1) -> (rule4 % int3)) triple1) -> (rule3 % int2))) -> (rule2 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((((((triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((triple9) -> (rule4 % int3)) triple9) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple9 ((((((triple9) -> (rule4 % int4)) triple9) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4)) ((triple9 ((((((triple9) -> (rule4 % int5)) triple9) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
int5