Anne is furry. Charlie is nice. Erin is big. Erin is furry. Erin is kind. Erin is nice. Erin is rough. Erin is round. Erin is white. Fiona is furry. Fiona is kind. Fiona is white. All furry, rough things are white. If something is big and round then it is kind. If something is white and furry then it is big. Big things are nice. If Erin is kind then Erin is furry. All big things are round. Furry things are rough. Furry, white things are big. Round, big things are rough.
Anne is furry.
("Anne" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is white.
("Fiona" "is" "white" "+")
All furry, rough things are white.
((("something" "is" "furry" "+") ("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is big and round then it is kind.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "kind" "+"))
If something is white and furry then it is big.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If Erin is kind then Erin is furry.
((("Erin" "is" "kind" "+")) -> ("Erin" "is" "furry" "+"))
All big things are round.
((("something" "is" "big" "+")) -> ("something" "is" "round" "+"))
Furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
Furry, white things are big.
((("something" "is" "furry" "+") ("something" "is" "white" "+")) -> ("something" "is" "big" "+"))
Round, big things are rough.
((("something" "is" "round" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Erin is round.
True
1
proof
[(triple8 OR ((triple3) -> rule6) OR ((((triple4 triple9) -> rule8)) -> rule6) OR ((((triple9 triple4) -> rule3)) -> rule6) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6) OR ((((triple9 ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) triple9) -> rule8)) -> rule6) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) ((triple4 triple7) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 triple7) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((triple4 ((((triple5) -> rule5) triple7) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) triple7) -> rule1) triple4) -> rule3)) -> rule6) OR ((((triple4 ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple5) -> rule5) ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) triple7) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) triple7) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((triple4 ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6) OR ((((triple4 ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple5) -> rule5) ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6))]
("Erin" "is" "round" "+")
triple8
((triple3) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple4 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4 ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple9 ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple5) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple4 triple7) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple5) -> (rule5 % int4)) ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 triple7) -> (rule1 % int4)) ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple4 ((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3)) ((triple5) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple4 ((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple4 ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Fiona is not kind.
False
1
inv-proof
[(triple11 OR ((((triple10 triple12) -> rule8) ((((triple10 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((triple10 triple12) -> rule8) ((((triple12 triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple12 triple10) -> rule3) ((((triple10 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((triple12 triple10) -> rule3) ((((triple12 triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) ((((triple10 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) ((((triple12 triple10) -> rule3)) -> rule6)) -> rule2) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3) ((((triple10 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3) ((((triple12 triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple10 triple12) -> rule8) ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple10 triple12) -> rule8) ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple12 triple10) -> rule3) ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple12 triple10) -> rule3) ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6)) -> rule2) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3) ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3) ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6)) -> rule2))]
("Fiona" "is" "kind" "-")
triple11
((((triple10 triple12) -> (rule8 % int3)) ((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple10 triple12) -> (rule8 % int3)) ((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple12 triple10) -> (rule3 % int3)) ((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple12 triple10) -> (rule3 % int3)) ((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple10 triple12) -> (rule8 % int5)) ((((triple10 ((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple10 triple12) -> (rule8 % int5)) ((((((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple12 triple10) -> (rule3 % int5)) ((((triple10 ((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple12 triple10) -> (rule3 % int5)) ((((((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is big.
True
3
proof
[(((triple10 triple12) -> rule8) OR ((triple12 triple10) -> rule3) OR ((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) OR ((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3))]
("Fiona" "is" "big" "+")
((triple10 triple12) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple12 triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple10 ((triple10 ((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple10 ((triple10) -> (rule7 % int3))) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is not big.
False
3
inv-proof
[(((triple10 triple12) -> rule8) OR ((triple12 triple10) -> rule3) OR ((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) OR ((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3))]
("Fiona" "is" "big" "-")
((triple10 triple12) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple12 triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple10 ((triple10 ((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple10 ((triple10) -> (rule7 % int3))) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
True
4
proof
[(((((triple10 triple12) -> rule8)) -> rule4) OR ((((triple12 triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule4))]
("Fiona" "is" "nice" "+")
((((triple10 triple12) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple12 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple10 ((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Anne is not white.
False
4
inv-proof
[(((triple1 ((triple1) -> rule7)) -> rule1))]
("Anne" "is" "white" "-")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is big.
True
6
proof
[(((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) OR ((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3))]
("Anne" "is" "big" "+")
((triple1 ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is not big.
False
6
inv-proof
[(((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) OR ((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3))]
("Anne" "is" "big" "-")
((triple1 ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is round.
True
7
proof
[(((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule6))]
("Anne" "is" "round" "+")
((((triple1 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is not nice.
False
7
inv-proof
[(((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule4))]
("Anne" "is" "nice" "-")
((((triple1 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
True
14
proof
[(((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule6)) -> rule2) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3) ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3) ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule6)) -> rule2))]
("Anne" "is" "kind" "+")
((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3)) ((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3)) ((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is not kind.
False
14
inv-proof
[(((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule6)) -> rule2) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3) ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3) ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule6)) -> rule2))]
("Anne" "is" "kind" "-")
((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3)) ((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3)) ((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Charlie is not big.
Unknown
inv-rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "-")
Charlie is white.
Unknown
rconc
[@1: Charlie is white.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "white" "+")
Charlie is not kind.
Unknown
inv-rconc
[@2: Charlie is kind.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("Charlie" "is" "kind" "-")
Charlie is round.
Unknown
rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Charlie" "is" "round" "+")
Charlie is not rough.
Unknown
inv-rconc
[@2: Charlie is rough.[CWA. Example of deepest failure = (rule9 <- rule3 <- FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Charlie is nice.[(triple2)] Erin is big.[(triple3 OR ((triple4 triple9) -> rule8) OR ((triple9 triple4) -> rule3) OR ((triple4 ((triple4 triple7) -> rule1)) -> rule8) OR ((triple9 ((triple5) -> rule5)) -> rule3) OR ((((triple5) -> rule5) triple9) -> rule8) OR ((((triple4 triple7) -> rule1) triple4) -> rule3) OR ((((triple5) -> rule5) ((triple4 triple7) -> rule1)) -> rule8) OR ((((triple4 triple7) -> rule1) ((triple5) -> rule5)) -> rule3) OR ((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) OR ((triple4 ((((triple5) -> rule5) triple7) -> rule1)) -> rule8) OR ((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) OR ((((((triple5) -> rule5) triple7) -> rule1) triple4) -> rule3) OR ((triple4 ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1)) -> rule8) OR ((((triple5) -> rule5) ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) OR ((((triple5) -> rule5) ((((triple5) -> rule5) triple7) -> rule1)) -> rule8) OR ((((triple4 ((triple4) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule5) triple7) -> rule1) ((triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) triple4) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1)) -> rule8) OR ((((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3) OR ((triple4 ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8) OR ((((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) triple4) -> rule3) OR ((triple4 ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8) OR ((((triple5) -> rule5) ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8) OR ((((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3) OR ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) triple4) -> rule3) OR ((((triple5) -> rule5) ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8) OR ((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3))] Erin is furry.[(triple4 OR ((triple5) -> rule5) OR ((((triple3 triple8) -> rule2)) -> rule5) OR ((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5))] Erin is kind.[(triple5 OR ((triple3 triple8) -> rule2) OR ((triple3 ((triple3) -> rule6)) -> rule2) OR ((((triple4 triple9) -> rule8) triple8) -> rule2) OR ((((triple9 triple4) -> rule3) triple8) -> rule2) OR ((((triple4 triple9) -> rule8) ((triple3) -> rule6)) -> rule2) OR ((((triple9 triple4) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((triple3 ((((triple4 triple9) -> rule8)) -> rule6)) -> rule2) OR ((triple3 ((((triple9 triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8) triple8) -> rule2) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3) triple8) -> rule2) OR ((((triple4 triple9) -> rule8) ((((triple4 triple9) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 triple9) -> rule8) ((((triple9 triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8) ((triple3) -> rule6)) -> rule2) OR ((((triple9 triple4) -> rule3) ((((triple4 triple9) -> rule8)) -> rule6)) -> rule2) OR ((((triple9 triple4) -> rule3) ((((triple9 triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8) ((((triple4 triple9) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8) ((((triple9 triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3) ((((triple4 triple9) -> rule8)) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3) ((((triple9 triple4) -> rule3)) -> rule6)) -> rule2) OR ((triple3 ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((triple3 ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) triple8) -> rule2) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) triple8) -> rule2) OR ((((triple4 triple9) -> rule8) ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 triple9) -> rule8) ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) ((triple3) -> rule6)) -> rule2) OR ((((triple9 triple4) -> rule3) ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple9 triple4) -> rule3) ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) ((triple3) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8) ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8) ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) ((((triple4 triple9) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) ((((triple9 triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3) ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3) ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) ((((triple4 triple9) -> rule8)) -> rule6)) -> rule2) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) ((((triple9 triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((triple3 ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((triple3 ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 triple9) -> rule8) ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 triple9) -> rule8) ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple9 triple4) -> rule3) ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple9 triple4) -> rule3) ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8) ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8) ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3) ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3) ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8) ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3) ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6)) -> rule2))] Erin is nice.[(triple6 OR ((triple3) -> rule4) OR ((((triple4 triple9) -> rule8)) -> rule4) OR ((((triple9 triple4) -> rule3)) -> rule4) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule4) OR ((((triple9 ((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((triple5) -> rule5) triple9) -> rule8)) -> rule4) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((triple5) -> rule5) ((triple4 triple7) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4 triple7) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((triple4 ((((triple5) -> rule5) triple7) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((((triple5) -> rule5) triple7) -> rule1) triple4) -> rule3)) -> rule4) OR ((((triple4 ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple5) -> rule5) ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) triple7) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((((triple5) -> rule5) triple7) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((triple4 ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) triple4) -> rule3)) -> rule4) OR ((((triple4 ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple5) -> rule5) ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule4) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) triple4) -> rule3)) -> rule4) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule4))] Erin is rough.[(triple7 OR ((triple4) -> rule7) OR ((triple8 triple3) -> rule9) OR ((((triple5) -> rule5)) -> rule7) OR ((triple8 ((triple4 triple9) -> rule8)) -> rule9) OR ((triple8 ((triple9 triple4) -> rule3)) -> rule9) OR ((((triple3) -> rule6) triple3) -> rule9) OR ((((triple3) -> rule6) ((triple4 triple9) -> rule8)) -> rule9) OR ((((triple3) -> rule6) ((triple9 triple4) -> rule3)) -> rule9) OR ((((((triple3 triple8) -> rule2)) -> rule5)) -> rule7) OR ((triple8 ((triple9 ((triple5) -> rule5)) -> rule3)) -> rule9) OR ((triple8 ((((triple5) -> rule5) triple9) -> rule8)) -> rule9) OR ((((((triple4 triple9) -> rule8)) -> rule6) triple3) -> rule9) OR ((((((triple9 triple4) -> rule3)) -> rule6) triple3) -> rule9) OR ((((triple3) -> rule6) ((triple9 ((triple5) -> rule5)) -> rule3)) -> rule9) OR ((((triple3) -> rule6) ((((triple5) -> rule5) triple9) -> rule8)) -> rule9) OR ((((((triple4 triple9) -> rule8)) -> rule6) ((triple4 triple9) -> rule8)) -> rule9) OR ((((((triple4 triple9) -> rule8)) -> rule6) ((triple9 triple4) -> rule3)) -> rule9) OR ((((((triple9 triple4) -> rule3)) -> rule6) ((triple4 triple9) -> rule8)) -> rule9) OR ((((((triple9 triple4) -> rule3)) -> rule6) ((triple9 triple4) -> rule3)) -> rule9) OR ((((((triple4 triple9) -> rule8)) -> rule6) ((triple9 ((triple5) -> rule5)) -> rule3)) -> rule9) OR ((((((triple4 triple9) -> rule8)) -> rule6) ((((triple5) -> rule5) triple9) -> rule8)) -> rule9) OR ((((((triple9 triple4) -> rule3)) -> rule6) ((triple9 ((triple5) -> rule5)) -> rule3)) -> rule9) OR ((((((triple9 triple4) -> rule3)) -> rule6) ((((triple5) -> rule5) triple9) -> rule8)) -> rule9) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5)) -> rule7) OR ((((((triple9 ((triple5) -> rule5)) -> rule3)) -> rule6) triple3) -> rule9) OR ((((((((triple5) -> rule5) triple9) -> rule8)) -> rule6) triple3) -> rule9) OR ((((((triple9 ((triple5) -> rule5)) -> rule3)) -> rule6) ((triple4 triple9) -> rule8)) -> rule9) OR ((((((triple9 ((triple5) -> rule5)) -> rule3)) -> rule6) ((triple9 triple4) -> rule3)) -> rule9) OR ((((((((triple5) -> rule5) triple9) -> rule8)) -> rule6) ((triple4 triple9) -> rule8)) -> rule9) OR ((((((((triple5) -> rule5) triple9) -> rule8)) -> rule6) ((triple9 triple4) -> rule3)) -> rule9) OR ((((((triple9 ((triple5) -> rule5)) -> rule3)) -> rule6) ((triple9 ((triple5) -> rule5)) -> rule3)) -> rule9) OR ((((((triple9 ((triple5) -> rule5)) -> rule3)) -> rule6) ((((triple5) -> rule5) triple9) -> rule8)) -> rule9) OR ((((((((triple5) -> rule5) triple9) -> rule8)) -> rule6) ((triple9 ((triple5) -> rule5)) -> rule3)) -> rule9) OR ((((((((triple5) -> rule5) triple9) -> rule8)) -> rule6) ((((triple5) -> rule5) triple9) -> rule8)) -> rule9))] Erin is round.[(triple8 OR ((triple3) -> rule6) OR ((((triple4 triple9) -> rule8)) -> rule6) OR ((((triple9 triple4) -> rule3)) -> rule6) OR ((((triple4 ((triple4 triple7) -> rule1)) -> rule8)) -> rule6) OR ((((triple9 ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) triple9) -> rule8)) -> rule6) OR ((((((triple4 triple7) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) ((triple4 triple7) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 triple7) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((triple4 ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((triple4 ((((triple5) -> rule5) triple7) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) triple7) -> rule1) triple4) -> rule3)) -> rule6) OR ((((triple4 ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple5) -> rule5) ((triple4 ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) triple7) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 ((triple4) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) triple7) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((triple4 ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6) OR ((((triple4 ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple5) -> rule5) ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) triple4) -> rule3)) -> rule6) OR ((((((triple5) -> rule5) ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) ((triple5) -> rule5)) -> rule3)) -> rule6))] Erin is white.[(triple9 OR ((triple4 triple7) -> rule1) OR ((triple4 ((triple4) -> rule7)) -> rule1) OR ((triple4 ((triple8 triple3) -> rule9)) -> rule1) OR ((((triple5) -> rule5) triple7) -> rule1) OR ((((triple5) -> rule5) ((triple4) -> rule7)) -> rule1) OR ((((triple5) -> rule5) ((triple8 triple3) -> rule9)) -> rule1) OR ((triple4 ((((triple5) -> rule5)) -> rule7)) -> rule1) OR ((triple4 ((((triple3) -> rule6) triple3) -> rule9)) -> rule1) OR ((((((triple3 triple8) -> rule2)) -> rule5) triple7) -> rule1) OR ((((triple5) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) OR ((((triple5) -> rule5) ((((triple3) -> rule6) triple3) -> rule9)) -> rule1) OR ((((((triple3 triple8) -> rule2)) -> rule5) ((triple4) -> rule7)) -> rule1) OR ((((((triple3 triple8) -> rule2)) -> rule5) ((triple8 triple3) -> rule9)) -> rule1) OR ((((((triple3 triple8) -> rule2)) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple8) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule9)) -> rule1) OR ((triple4 ((((((triple3 triple8) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5) triple7) -> rule1) OR ((((triple5) -> rule5) ((((((triple3 triple8) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5) ((triple4) -> rule7)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5) ((triple8 triple3) -> rule9)) -> rule1) OR ((((((triple3 triple8) -> rule2)) -> rule5) ((((((triple3 triple8) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5) ((((triple5) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5) ((((triple3) -> rule6) triple3) -> rule9)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5) ((((((triple3 triple8) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((triple4 ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((triple5) -> rule5) ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 triple8) -> rule2)) -> rule5) ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5)) -> rule7)) -> rule1) OR ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5) ((((((triple3 ((triple3) -> rule6)) -> rule2)) -> rule5)) -> rule7)) -> rule1))] Fiona is furry.[(triple10)] Fiona is kind.[(triple11 OR ((((triple10 triple12) -> rule8) ((((triple10 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((triple10 triple12) -> rule8) ((((triple12 triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple12 triple10) -> rule3) ((((triple10 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((triple12 triple10) -> rule3) ((((triple12 triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) ((((triple10 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) ((((triple12 triple10) -> rule3)) -> rule6)) -> rule2) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3) ((((triple10 triple12) -> rule8)) -> rule6)) -> rule2) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3) ((((triple12 triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple10 triple12) -> rule8) ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple10 triple12) -> rule8) ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple12 triple10) -> rule3) ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple12 triple10) -> rule3) ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6)) -> rule2) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6)) -> rule2) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3) ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3) ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6)) -> rule2))] Fiona is white.[(triple12 OR ((triple10 ((triple10) -> rule7)) -> rule1))] @1: Anne is rough.[(((triple1) -> rule7))] Fiona is big.[(((triple10 triple12) -> rule8) OR ((triple12 triple10) -> rule3) OR ((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8) OR ((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3))] Fiona is rough.[(((triple10) -> rule7) OR ((((((triple10 triple12) -> rule8)) -> rule6) ((triple10 triple12) -> rule8)) -> rule9) OR ((((((triple10 triple12) -> rule8)) -> rule6) ((triple12 triple10) -> rule3)) -> rule9) OR ((((((triple12 triple10) -> rule3)) -> rule6) ((triple10 triple12) -> rule8)) -> rule9) OR ((((((triple12 triple10) -> rule3)) -> rule6) ((triple12 triple10) -> rule3)) -> rule9))] @2: Anne is white.[(((triple1 ((triple1) -> rule7)) -> rule1))] Fiona is nice.[(((((triple10 triple12) -> rule8)) -> rule4) OR ((((triple12 triple10) -> rule3)) -> rule4) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule4))] Fiona is round.[(((((triple10 triple12) -> rule8)) -> rule6) OR ((((triple12 triple10) -> rule3)) -> rule6) OR ((((triple10 ((triple10 ((triple10) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple10 ((triple10) -> rule7)) -> rule1) triple10) -> rule3)) -> rule6))] @3: Anne is big.[(((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) OR ((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3))] @4: Anne is nice.[(((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule4) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule4))] Anne is round.[(((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule6) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule6))] @5: Anne is kind.[(((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8) ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule6)) -> rule2) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3) ((((triple1 ((triple1 ((triple1) -> rule7)) -> rule1)) -> rule8)) -> rule6)) -> rule2) OR ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3) ((((((triple1 ((triple1) -> rule7)) -> rule1) triple1) -> rule3)) -> rule6)) -> rule2))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Erin is big.
("Erin" "is" "big" "+")
triple3
((triple4 triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple9 triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple4 ((triple4 triple7) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((triple9 ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple5) -> (rule5 % int2)) triple9) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4 triple7) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple4 triple7) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 triple7) -> (rule1 % int3)) ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((triple4 ((triple4 ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((triple4 ((((triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 ((triple4) -> (rule7 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule5 % int4)) ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple5) -> (rule5 % int4)) ((triple4 ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int2))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple5) -> (rule5 % int3)) triple7) -> (rule1 % int2)) ((triple5) -> (rule5 % int3))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple5) -> (rule5 % int4)) ((triple4) -> (rule7 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) ((triple4) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple5) -> (rule5 % int4)) ((triple4) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5) -> (rule5 % int4))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((triple4 ((triple4 ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((triple4 ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple5) -> (rule5 % int4)) ((triple4 ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5) -> (rule5 % int4))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4))) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5) -> (rule5 % int4))) -> (rule3 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is white.
("Erin" "is" "white" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
triple4
((triple5) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple3 triple8) -> (rule2 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
((((triple3 ((triple3) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
triple5
((triple3 triple8) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
((triple3 ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple4 triple9) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9 triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4 triple9) -> (rule8 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple9 triple4) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple3 ((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((triple3 ((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple4 ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple4 triple7) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple4 triple9) -> (rule8 % int3)) ((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple4 triple9) -> (rule8 % int3)) ((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple9 triple4) -> (rule3 % int3)) ((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple9 triple4) -> (rule3 % int3)) ((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple3 ((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((triple3 ((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2)) triple8) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple8) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple4 triple9) -> (rule8 % int4)) ((((triple4 ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple4 triple9) -> (rule8 % int4)) ((((((triple4 triple7) -> (rule1 % int3)) triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple9 triple4) -> (rule3 % int4)) ((((triple4 ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((triple9 triple4) -> (rule3 % int4)) ((((((triple4 triple7) -> (rule1 % int3)) triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((triple3) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((triple4 ((triple4 triple7) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((((triple4 triple7) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((triple3 ((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((triple3 ((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple4 triple9) -> (rule8 % int5)) ((((triple4 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple4 triple9) -> (rule8 % int5)) ((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple9 triple4) -> (rule3 % int5)) ((((triple4 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple9 triple4) -> (rule3 % int5)) ((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((triple4 ((triple4 triple7) -> (rule1 % int5))) -> (rule8 % int4)) ((((triple4 ((triple4 ((triple4) -> (rule7 % int3))) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple4 ((triple4 triple7) -> (rule1 % int5))) -> (rule8 % int4)) ((((((triple4 ((triple4) -> (rule7 % int3))) -> (rule1 % int5)) triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple4 triple7) -> (rule1 % int5)) triple4) -> (rule3 % int4)) ((((triple4 ((triple4 ((triple4) -> (rule7 % int3))) -> (rule1 % int5))) -> (rule8 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((((triple4 triple7) -> (rule1 % int5)) triple4) -> (rule3 % int4)) ((((((triple4 ((triple4) -> (rule7 % int3))) -> (rule1 % int5)) triple4) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is white.
("Erin" "is" "white" "+")
int5
((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((triple4 ((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3)) ((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple3) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple4 triple9) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9 triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4 ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple9 ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple5) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple4 triple7) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple5) -> (rule5 % int4)) ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 triple7) -> (rule1 % int4)) ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple4 ((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3)) ((triple5) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple4 ((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple4 ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is rough.
("Erin" "is" "rough" "+")
triple7
((triple4) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((triple8 triple3) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
((((triple5) -> (rule5 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((triple8 ((triple4 triple9) -> (rule8 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple8 ((triple9 triple4) -> (rule3 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple3) -> (rule6 % int2)) triple3) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
((((triple3) -> (rule6 % int3)) ((triple4 triple9) -> (rule8 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((triple3) -> (rule6 % int3)) ((triple9 triple4) -> (rule3 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple8) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((triple8 ((triple9 ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple8 ((((triple5) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2)) triple3) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((triple3) -> (rule6 % int4)) ((triple9 ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple3) -> (rule6 % int4)) ((((triple5) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2)) ((triple4 triple9) -> (rule8 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4 triple9) -> (rule8 % int3))) -> (rule6 % int2)) ((triple9 triple4) -> (rule3 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple9) -> (rule8 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple9 triple4) -> (rule3 % int3))) -> (rule6 % int2)) ((triple9 triple4) -> (rule3 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
((((((triple4 triple9) -> (rule8 % int4))) -> (rule6 % int3)) ((triple9 ((triple5) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple4 triple9) -> (rule8 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule5 % int2)) triple9) -> (rule8 % int4))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple9 triple4) -> (rule3 % int4))) -> (rule6 % int3)) ((triple9 ((triple5) -> (rule5 % int2))) -> (rule3 % int4))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple9 triple4) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple5) -> (rule5 % int2)) triple9) -> (rule8 % int4))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((((triple9 ((triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple9) -> (rule8 % int3))) -> (rule6 % int2)) triple3) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9 ((triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4 triple9) -> (rule8 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9 ((triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple9 triple4) -> (rule3 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple9) -> (rule8 % int3))) -> (rule6 % int2)) ((triple4 triple9) -> (rule8 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple9) -> (rule8 % int3))) -> (rule6 % int2)) ((triple9 triple4) -> (rule3 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9 ((triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple9 ((triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple9 ((triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule5 % int4)) triple9) -> (rule8 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple9) -> (rule8 % int3))) -> (rule6 % int2)) ((triple9 ((triple5) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple9) -> (rule8 % int3))) -> (rule6 % int2)) ((((triple5) -> (rule5 % int4)) triple9) -> (rule8 % int3))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
triple8
((triple3) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
((((triple4 triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple9 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((((triple4 ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((triple9 ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple5) -> (rule5 % int3)) triple9) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((((triple4 triple7) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
((((((triple5) -> (rule5 % int4)) ((triple4 triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 triple7) -> (rule1 % int4)) ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
((((triple4 ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((triple4 ((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
((((((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple4 ((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((triple4 ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int4)) ((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4 ((triple4) -> (rule7 % int5))) -> (rule1 % int4)) ((triple5) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is white.
("Erin" "is" "white" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
((((((((triple5) -> (rule5 % int4)) triple7) -> (rule1 % int3)) ((triple5) -> (rule5 % int4))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((triple4) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple4 ((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((triple4 ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple4 ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((((triple5) -> (rule5 % int5)) ((((triple5) -> (rule5 % int5))) -> (rule7 % int4))) -> (rule1 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
Erin is white.
("Erin" "is" "white" "+")
triple9
((triple4 triple7) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
((triple4 ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((triple4 ((triple8 triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
((((triple5) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple5) -> (rule5 % int3)) ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int3)) ((triple8 triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple4 ((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((triple4 ((((triple3) -> (rule6 % int3)) triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
((((((triple3 triple8) -> (rule2 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
((((triple5) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple5) -> (rule5 % int4)) ((((triple3) -> (rule6 % int3)) triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 triple8) -> (rule2 % int4))) -> (rule5 % int3)) ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple3 triple8) -> (rule2 % int4))) -> (rule5 % int3)) ((triple8 triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple3 triple8) -> (rule2 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple3 triple8) -> (rule2 % int5))) -> (rule5 % int4)) ((((triple3) -> (rule6 % int3)) triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((triple4 ((((((triple3 triple8) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple7) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
((((triple5) -> (rule5 % int4)) ((((((triple3 triple8) -> (rule2 % int3))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) ((triple8 triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple3 triple8) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple3 triple8) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) ((((triple5) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) ((((triple3) -> (rule6 % int5)) triple3) -> (rule9 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple3 triple8) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((triple4 ((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
((((triple5) -> (rule5 % int5)) ((((((triple3 ((triple3) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int5))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is round.
("Erin" "is" "round" "+")
int4
Erin is furry.
("Erin" "is" "furry" "+")
int5
((((((triple3 triple8) -> (rule2 % int5))) -> (rule5 % int4)) ((((((triple3 ((triple3) -> (rule6 % int3))) -> (rule2 % int5))) -> (rule5 % int4))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
int5
((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) ((((((triple3 ((triple3) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule5 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is round.
("Erin" "is" "round" "+")
int5
Fiona is furry.
("Fiona" "is" "furry" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
((((triple10 triple12) -> (rule8 % int3)) ((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple10 triple12) -> (rule8 % int3)) ((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple12 triple10) -> (rule3 % int3)) ((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple12 triple10) -> (rule3 % int3)) ((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple10 triple12) -> (rule8 % int5)) ((((triple10 ((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple10 triple12) -> (rule8 % int5)) ((((((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple12 triple10) -> (rule3 % int5)) ((((triple10 ((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple12 triple10) -> (rule3 % int5)) ((((((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule3 % int5))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((triple10 ((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3)) ((((((triple10 ((triple10) -> (rule7 % int5))) -> (rule1 % int4)) triple10) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is white.
("Fiona" "is" "white" "+")
triple12
((triple10 ((triple10) -> (rule7 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
((triple1) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple10 triple12) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple12 triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple10 ((triple10 ((triple10) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple10 ((triple10) -> (rule7 % int3))) -> (rule1 % int2)) triple10) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple10) -> (rule7 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2)) ((triple10 triple12) -> (rule8 % int3))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple10 triple12) -> (rule8 % int3))) -> (rule6 % int2)) ((triple12 triple10) -> (rule3 % int3))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2)) ((triple10 triple12) -> (rule8 % int3))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple12 triple10) -> (rule3 % int3))) -> (rule6 % int2)) ((triple12 triple10) -> (rule3 % int3))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((triple1 ((triple1) -> (rule7 % int2))) -> (rule1 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple10 triple12) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple12 triple10) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple10 ((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
((((triple10 triple12) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple12 triple10) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple10 ((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple10 ((triple10) -> (rule7 % int4))) -> (rule1 % int3)) triple10) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
((triple1 ((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple1 ((triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule3 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((((triple1 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((triple1 ((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple1 ((triple1) -> (rule7 % int4))) -> (rule1 % int3)) triple1) -> (rule3 % int2))) -> (rule6 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is kind.
("Anne" "is" "kind" "+")
((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3)) ((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3)) ((((triple1 ((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3)) ((((((triple1 ((triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5