Anne is big. Anne is furry. Anne is red. Anne is young. Erin is furry. Fiona is big. Fiona is round. Fiona is smart. Fiona is young. Gary is furry. Young people are big. Young, round people are big. Furry people are young. All round, rough people are red. All smart, round people are furry. If someone is big then they are red. If Anne is big then Anne is round. Red, young people are smart. All smart, furry people are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Young people are big.
((("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
Young, round people are big.
((("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Furry people are young.
((("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
All round, rough people are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
All smart, round people are furry.
((("someone" "is" "smart" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "furry" "+"))
If someone is big then they are red.
((("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If Anne is big then Anne is round.
((("Anne" "is" "big" "+")) -> ("Anne" "is" "round" "+"))
Red, young people are smart.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "smart" "+"))
All smart, furry people are rough.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
Anne is young.
True
1
proof
[(triple4 OR ((triple2) -> rule3))]
("Anne" "is" "young" "+")
triple4
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is not furry.
False
1
inv-proof
[(triple5)]
("Erin" "is" "furry" "-")
triple5
Anne is smart.
True
3
proof
[(((triple3 triple4) -> rule8) OR ((triple3 ((triple2) -> rule3)) -> rule8) OR ((((triple1) -> rule6) triple4) -> rule8) OR ((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) OR ((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) OR ((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8))]
("Anne" "is" "smart" "+")
((triple3 triple4) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple3 ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple1) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple1) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple4) -> (rule1 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple2) -> (rule3 % int4))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is not round.
False
2
inv-proof
[(((triple1) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((((triple2) -> rule3)) -> rule1)) -> rule7))]
("Anne" "is" "round" "-")
((triple1) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Gary is big.
True
3
proof
[(((((triple10) -> rule3)) -> rule1))]
("Gary" "is" "big" "+")
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Fiona is not rough.
False
5
inv-proof
[(((triple8 ((triple8 triple7) -> rule5)) -> rule9) OR ((((((triple6) -> rule6) triple9) -> rule8) ((triple8 triple7) -> rule5)) -> rule9) OR ((triple8 ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) ((triple8 triple7) -> rule5)) -> rule9) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((triple8 triple7) -> rule5)) -> rule9) OR ((((((triple6) -> rule6) triple9) -> rule8) ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((triple8 ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((triple8 ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((triple6) -> rule6) triple9) -> rule8) ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((triple6) -> rule6) triple9) -> rule8) ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9))]
("Fiona" "is" "rough" "-")
((triple8 ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple8 ((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple8 ((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple8 ((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple6) -> (rule6 % int5)) triple9) -> (rule8 % int4)) ((((((((triple9) -> (rule1 % int3))) -> (rule6 % int5)) triple9) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple6) -> (rule6 % int5)) triple9) -> (rule8 % int4)) ((((((((triple9 triple7) -> (rule2 % int3))) -> (rule6 % int5)) triple9) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Erin is red.
True
4
proof
[(((((((triple5) -> rule3)) -> rule1)) -> rule6))]
("Erin" "is" "red" "+")
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Erin is not red.
False
4
inv-proof
[(((((((triple5) -> rule3)) -> rule1)) -> rule6))]
("Erin" "is" "red" "-")
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Gary is smart.
True
7
proof
[(((((((((triple10) -> rule3)) -> rule1)) -> rule6) ((triple10) -> rule3)) -> rule8))]
("Gary" "is" "smart" "+")
((((((((triple10) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple10) -> (rule3 % int4))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Erin is not smart.
False
7
inv-proof
[(((((((((triple5) -> rule3)) -> rule1)) -> rule6) ((triple5) -> rule3)) -> rule8))]
("Erin" "is" "smart" "-")
((((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int4))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is rough.
True
9
proof
[(((((((((((triple5) -> rule3)) -> rule1)) -> rule6) ((triple5) -> rule3)) -> rule8) triple5) -> rule9))]
("Erin" "is" "rough" "+")
((((((((((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5) -> (rule3 % int5))) -> (rule8 % int2)) triple5) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is not rough.
False
9
inv-proof
[(((((((((((triple5) -> rule3)) -> rule1)) -> rule6) ((triple5) -> rule3)) -> rule8) triple5) -> rule9))]
("Erin" "is" "rough" "-")
((((((((((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5) -> (rule3 % int5))) -> (rule8 % int2)) triple5) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Anne is big.[(triple1 OR ((triple4) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] Anne is furry.[(triple2 OR ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5) OR ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5) OR ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5) OR ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5))] Anne is red.[(triple3 OR ((triple1) -> rule6) OR ((((triple4) -> rule1)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1)) -> rule6))] Anne is young.[(triple4 OR ((triple2) -> rule3))] Erin is furry.[(triple5)] Fiona is big.[(triple6 OR ((triple9) -> rule1) OR ((triple9 triple7) -> rule2) OR ((((((triple8 triple7) -> rule5)) -> rule3)) -> rule1) OR ((((((triple8 triple7) -> rule5)) -> rule3) triple7) -> rule2))] Fiona is round.[(triple7)] Fiona is smart.[(triple8 OR ((((triple6) -> rule6) triple9) -> rule8) OR ((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) OR ((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8))] Fiona is young.[(triple9 OR ((((triple8 triple7) -> rule5)) -> rule3))] Gary is furry.[(triple10)] @1: Anne is round.[(((triple1) -> rule7) OR ((((triple4) -> rule1)) -> rule7) OR ((((((triple2) -> rule3)) -> rule1)) -> rule7))] Anne is smart.[(((triple3 triple4) -> rule8) OR ((triple3 ((triple2) -> rule3)) -> rule8) OR ((((triple1) -> rule6) triple4) -> rule8) OR ((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) OR ((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) OR ((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) OR ((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8))] Erin is young.[(((triple5) -> rule3))] Fiona is furry.[(((triple8 triple7) -> rule5) OR ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5))] Fiona is red.[(((triple6) -> rule6) OR ((((triple9) -> rule1)) -> rule6) OR ((((triple9 triple7) -> rule2)) -> rule6) OR ((triple7 ((triple8 ((triple8 triple7) -> rule5)) -> rule9)) -> rule4) OR ((((((((triple8 triple7) -> rule5)) -> rule3)) -> rule1)) -> rule6) OR ((((((((triple8 triple7) -> rule5)) -> rule3) triple7) -> rule2)) -> rule6))] Gary is young.[(((triple10) -> rule3))] @2: Anne is rough.[(((((triple3 triple4) -> rule8) triple2) -> rule9) OR ((((triple3 ((triple2) -> rule3)) -> rule8) triple2) -> rule9) OR ((((((triple1) -> rule6) triple4) -> rule8) triple2) -> rule9) OR ((((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) triple2) -> rule9) OR ((((triple3 triple4) -> rule8) ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 ((triple2) -> rule3)) -> rule8) ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) triple4) -> rule8) ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) triple2) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) triple2) -> rule9) OR ((((triple3 triple4) -> rule8) ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 triple4) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 triple4) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 ((triple2) -> rule3)) -> rule8) ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 ((triple2) -> rule3)) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) triple4) -> rule8) ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) triple4) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 ((triple2) -> rule3)) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) triple4) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) triple2) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) triple2) -> rule9) OR ((((triple3 triple4) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 triple4) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 ((triple2) -> rule3)) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) triple4) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((triple3 ((triple2) -> rule3)) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) triple4) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((triple3 triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((triple1) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((triple3 triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((triple4) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) triple4) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((triple1) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((triple1) -> rule7)) -> rule5)) -> rule9) OR ((((((((((triple2) -> rule3)) -> rule1)) -> rule6) ((triple2) -> rule3)) -> rule8) ((((((((triple4) -> rule1)) -> rule6) triple4) -> rule8) ((((triple4) -> rule1)) -> rule7)) -> rule5)) -> rule9))] Erin is big.[(((((triple5) -> rule3)) -> rule1))] Fiona is rough.[(((triple8 ((triple8 triple7) -> rule5)) -> rule9) OR ((((((triple6) -> rule6) triple9) -> rule8) ((triple8 triple7) -> rule5)) -> rule9) OR ((triple8 ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) ((triple8 triple7) -> rule5)) -> rule9) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((triple8 triple7) -> rule5)) -> rule9) OR ((((((triple6) -> rule6) triple9) -> rule8) ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((triple6) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((triple8 ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((triple8 ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((triple6) -> rule6) triple9) -> rule8) ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((triple6) -> rule6) triple9) -> rule8) ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((((triple9) -> rule1)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9) OR ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) ((((((((triple9 triple7) -> rule2)) -> rule6) triple9) -> rule8) triple7) -> rule5)) -> rule9))] Gary is big.[(((((triple10) -> rule3)) -> rule1))] @3: Erin is red.[(((((((triple5) -> rule3)) -> rule1)) -> rule6))] Gary is red.[(((((((triple10) -> rule3)) -> rule1)) -> rule6))] @4: Erin is smart.[(((((((((triple5) -> rule3)) -> rule1)) -> rule6) ((triple5) -> rule3)) -> rule8))] Gary is smart.[(((((((((triple10) -> rule3)) -> rule1)) -> rule6) ((triple10) -> rule3)) -> rule8))] @5: Erin is rough.[(((((((((((triple5) -> rule3)) -> rule1)) -> rule6) ((triple5) -> rule3)) -> rule8) triple5) -> rule9))] Gary is rough.[(((((((((((triple10) -> rule3)) -> rule1)) -> rule6) ((triple10) -> rule3)) -> rule8) triple10) -> rule9))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple4) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((((triple3 triple4) -> (rule8 % int3)) ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
((((triple3 triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((((triple1) -> (rule6 % int4)) triple4) -> (rule8 % int3)) ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4)) triple4) -> (rule8 % int3)) ((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4)) triple4) -> (rule8 % int3)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is smart.
("Anne" "is" "smart" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
triple3
((triple1) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
triple4
((triple2) -> (rule3 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Fiona is big.
("Fiona" "is" "big" "+")
triple6
((triple9) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple9 triple7) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((((((triple8 triple7) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((triple8 triple7) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
triple7
Fiona is smart.
("Fiona" "is" "smart" "+")
triple8
((((triple6) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
((((((triple9) -> (rule1 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((((triple9 triple7) -> (rule2 % int3))) -> (rule6 % int2)) triple9) -> (rule8 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple9
((((triple8 triple7) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((triple4) -> (rule1 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
((triple3 triple4) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((triple3 ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple1) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
((((triple1) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple4) -> (rule1 % int3))) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple4) -> (rule1 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int2))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) triple4) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple2) -> (rule3 % int4))) -> (rule8 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
((triple5) -> (rule3 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple8 triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((((((triple6) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
((((((((triple9) -> (rule1 % int4))) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((((((triple9 triple7) -> (rule2 % int4))) -> (rule6 % int3)) triple9) -> (rule8 % int2)) triple7) -> (rule5 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
((triple6) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
((((triple9) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple9 triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((triple7 ((triple8 ((triple8 triple7) -> (rule5 % int3))) -> (rule9 % int2))) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((((((triple8 triple7) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
((((((((triple8 triple7) -> (rule5 % int4))) -> (rule3 % int3)) triple7) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((triple10) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((((triple3 triple4) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((triple3 ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
((((((triple1) -> (rule6 % int3)) triple4) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
((((((triple1) -> (rule6 % int4)) ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
((((triple3 triple4) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
((((triple3 ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((triple1) -> (rule6 % int6)) ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
((((((((triple4) -> (rule1 % int4))) -> (rule6 % int3)) triple4) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4)) ((triple2) -> (rule3 % int3))) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
((((triple3 triple4) -> (rule8 % int5)) ((((triple3 triple4) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3 triple4) -> (rule8 % int5)) ((((((triple1) -> (rule6 % int4)) triple4) -> (rule8 % int5)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
((((triple3 triple4) -> (rule8 % int6)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int6)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple3 ((triple2) -> (rule3 % int6))) -> (rule8 % int5)) ((((triple3 triple4) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((triple3 ((triple2) -> (rule3 % int6))) -> (rule8 % int5)) ((((((triple1) -> (rule6 % int4)) triple4) -> (rule8 % int5)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
((((((triple1) -> (rule6 % int6)) triple4) -> (rule8 % int5)) ((((triple3 triple4) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((triple3 ((triple2) -> (rule3 % int7))) -> (rule8 % int6)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int6)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((triple1) -> (rule6 % int6)) triple4) -> (rule8 % int5)) ((((((triple1) -> (rule6 % int6)) triple4) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
((((((triple1) -> (rule6 % int7)) ((triple2) -> (rule3 % int6))) -> (rule8 % int5)) ((((triple3 triple4) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is red.
("Anne" "is" "red" "+")
int7
((((((triple1) -> (rule6 % int6)) ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int6)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6)) ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
Anne is big.
("Anne" "is" "big" "+")
int7
((((((triple1) -> (rule6 % int7)) ((triple2) -> (rule3 % int6))) -> (rule8 % int5)) ((((((triple1) -> (rule6 % int7)) triple4) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is red.
("Anne" "is" "red" "+")
int7
((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6)) ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int7))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
Anne is big.
("Anne" "is" "big" "+")
int7
((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6)) ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int6)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
Anne is big.
("Anne" "is" "big" "+")
int7
((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6)) ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int6)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int7))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
Anne is big.
("Anne" "is" "big" "+")
int7
((((((((((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) triple4) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((((((((triple2) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple2) -> (rule3 % int5))) -> (rule8 % int2)) triple2) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
((((triple3 triple4) -> (rule8 % int6)) ((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4)) triple4) -> (rule8 % int6)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple3 triple4) -> (rule8 % int6)) ((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4)) triple4) -> (rule8 % int6)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
((((triple3 ((triple2) -> (rule3 % int7))) -> (rule8 % int6)) ((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4)) triple4) -> (rule8 % int6)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((triple1) -> (rule6 % int6)) triple4) -> (rule8 % int5)) ((((((((triple4) -> (rule1 % int4))) -> (rule6 % int6)) triple4) -> (rule8 % int5)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((triple3 ((triple2) -> (rule3 % int7))) -> (rule8 % int6)) ((((((((triple4) -> (rule1 % int5))) -> (rule6 % int4)) triple4) -> (rule8 % int6)) ((((triple4) -> (rule1 % int5))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
int4
Anne is big.
("Anne" "is" "big" "+")
int5
Anne is smart.
("Anne" "is" "smart" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((triple1) -> (rule6 % int6)) triple4) -> (rule8 % int5)) ((((((((triple4) -> (rule1 % int4))) -> (rule6 % int6)) triple4) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
((((((triple1) -> (rule6 % int7)) ((triple2) -> (rule3 % int6))) -> (rule8 % int5)) ((((((((triple4) -> (rule1 % int4))) -> (rule6 % int7)) triple4) -> (rule8 % int5)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is red.
("Anne" "is" "red" "+")
int7
((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) ((triple2) -> (rule3 % int7))) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((triple1) -> (rule6 % int7)) ((triple2) -> (rule3 % int6))) -> (rule8 % int5)) ((((((((triple4) -> (rule1 % int4))) -> (rule6 % int7)) triple4) -> (rule8 % int5)) ((((triple4) -> (rule1 % int4))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is red.
("Anne" "is" "red" "+")
int7
((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6)) ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
Anne is big.
("Anne" "is" "big" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) ((triple2) -> (rule3 % int7))) -> (rule8 % int4)) ((((triple3 triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) ((triple2) -> (rule3 % int7))) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6)) ((triple2) -> (rule3 % int5))) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int7))) -> (rule6 % int6)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int7))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is red.
("Anne" "is" "red" "+")
int6
Anne is big.
("Anne" "is" "big" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) ((triple2) -> (rule3 % int7))) -> (rule8 % int4)) ((((((triple1) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) ((triple2) -> (rule3 % int7))) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
((((((((((triple2) -> (rule3 % int7))) -> (rule1 % int6))) -> (rule6 % int5)) ((triple2) -> (rule3 % int7))) -> (rule8 % int4)) ((((((((triple4) -> (rule1 % int6))) -> (rule6 % int5)) triple4) -> (rule8 % int4)) ((((triple4) -> (rule1 % int6))) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is smart.
("Anne" "is" "smart" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
int5
Anne is big.
("Anne" "is" "big" "+")
int6
Anne is young.
("Anne" "is" "young" "+")
int7
Erin is big.
("Erin" "is" "big" "+")
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple8 ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((triple8 ((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((triple8 triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((triple6) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple8 ((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((triple8 ((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((triple6) -> (rule6 % int5)) triple9) -> (rule8 % int4)) ((((((((triple9) -> (rule1 % int3))) -> (rule6 % int5)) triple9) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((triple6) -> (rule6 % int5)) triple9) -> (rule8 % int4)) ((((((((triple9 triple7) -> (rule2 % int3))) -> (rule6 % int5)) triple9) -> (rule8 % int4)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
int5
((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((((triple9) -> (rule1 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) ((((((((triple9 triple7) -> (rule2 % int5))) -> (rule6 % int4)) triple9) -> (rule8 % int3)) triple7) -> (rule5 % int2))) -> (rule9 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Gary is big.
("Gary" "is" "big" "+")
((((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
((((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
((((((triple10) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple5) -> (rule3 % int4))) -> (rule8 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Gary is smart.
("Gary" "is" "smart" "+")
((((((((triple10) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2)) ((triple10) -> (rule3 % int4))) -> (rule8 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((((((triple5) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple5) -> (rule3 % int5))) -> (rule8 % int2)) triple5) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is red.
("Erin" "is" "red" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
((((((((((triple10) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int3)) ((triple10) -> (rule3 % int5))) -> (rule8 % int2)) triple10) -> (rule9 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
int5