Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is rough. Fiona is round. Fiona is white. Gary is furry. Gary is round. Gary is white. All furry things are rough. All rough things are green. All blue things are green. If Fiona is white and Fiona is green then Fiona is big. Green, furry things are big. If something is green then it is round. All big, green things are blue. Round things are white.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All rough things are green.
((("something" "is" "rough" "+")) -> ("something" "is" "green" "+"))
All blue things are green.
((("something" "is" "blue" "+")) -> ("something" "is" "green" "+"))
If Fiona is white and Fiona is green then Fiona is big.
((("Fiona" "is" "white" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "big" "+"))
Green, furry things are big.
((("something" "is" "green" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is green then it is round.
((("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
All big, green things are blue.
((("something" "is" "big" "+") ("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
Round things are white.
((("something" "is" "round" "+")) -> ("something" "is" "white" "+"))
Fiona is white.
True
1
proof
[(triple7 OR ((triple6) -> rule8) OR ((((triple4) -> rule6)) -> rule8) OR ((((((triple2) -> rule3)) -> rule6)) -> rule8) OR ((((((triple5) -> rule2)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8))]
("Fiona" "is" "white" "+")
triple7
((triple6) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is not white.
False
1
inv-proof
[(triple7 OR ((triple6) -> rule8) OR ((((triple4) -> rule6)) -> rule8) OR ((((((triple2) -> rule3)) -> rule6)) -> rule8) OR ((((((triple5) -> rule2)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8))]
("Fiona" "is" "white" "-")
triple7
((triple6) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Gary is rough.
True
2
proof
[(((triple8) -> rule1))]
("Gary" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
2
inv-proof
[(((triple8) -> rule1))]
("Gary" "is" "rough" "-")
((triple8) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
True
3
proof
[(((((triple8) -> rule1)) -> rule2))]
("Gary" "is" "green" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not green.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule2))]
("Gary" "is" "green" "-")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
True
5
proof
[(((((((triple8) -> rule1)) -> rule2) triple8) -> rule5))]
("Gary" "is" "big" "+")
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not big.
False
5
inv-proof
[(((((((triple8) -> rule1)) -> rule2) triple8) -> rule5))]
("Gary" "is" "big" "-")
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
@0: Fiona is big.[(triple1 OR ((triple4 triple3) -> rule5) OR ((triple7 triple4) -> rule4) OR ((triple7 ((triple2) -> rule3)) -> rule4) OR ((triple7 ((triple5) -> rule2)) -> rule4) OR ((((triple2) -> rule3) triple3) -> rule5) OR ((((triple5) -> rule2) triple3) -> rule5) OR ((((triple6) -> rule8) triple4) -> rule4) OR ((((triple6) -> rule8) ((triple2) -> rule3)) -> rule4) OR ((((triple6) -> rule8) ((triple5) -> rule2)) -> rule4) OR ((triple7 ((((triple3) -> rule1)) -> rule2)) -> rule4) OR ((((((triple3) -> rule1)) -> rule2) triple3) -> rule5) OR ((((((triple4) -> rule6)) -> rule8) triple4) -> rule4) OR ((((triple6) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) OR ((((((triple4) -> rule6)) -> rule8) ((triple2) -> rule3)) -> rule4) OR ((((((triple4) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) OR ((((((triple4) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule8) triple4) -> rule4) OR ((((((((triple5) -> rule2)) -> rule6)) -> rule8) triple4) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule8) ((triple2) -> rule3)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((triple2) -> rule3)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) OR ((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) triple4) -> rule4) OR ((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((triple2) -> rule3)) -> rule4) OR ((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) OR ((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4))] Fiona is blue.[(triple2 OR ((triple1 triple4) -> rule7) OR ((triple1 ((triple5) -> rule2)) -> rule7) OR ((((triple4 triple3) -> rule5) triple4) -> rule7) OR ((((triple7 triple4) -> rule4) triple4) -> rule7) OR ((((triple4 triple3) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((triple7 triple4) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((triple1 ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple7 ((triple5) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((triple5) -> rule2) triple3) -> rule5) triple4) -> rule7) OR ((((((triple6) -> rule8) triple4) -> rule4) triple4) -> rule7) OR ((((triple4 triple3) -> rule5) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple7 triple4) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple7 ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((triple5) -> rule2) triple3) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((((triple6) -> rule8) triple4) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((triple6) -> rule8) ((triple5) -> rule2)) -> rule4) triple4) -> rule7) OR ((((triple7 ((triple5) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((triple5) -> rule2) triple3) -> rule5) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((triple6) -> rule8) triple4) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((triple6) -> rule8) ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((triple6) -> rule8) ((triple5) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((triple7 ((((triple3) -> rule1)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((triple3) -> rule1)) -> rule2) triple3) -> rule5) triple4) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) triple4) -> rule4) triple4) -> rule7) OR ((((triple7 ((((triple3) -> rule1)) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((triple6) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((triple3) -> rule1)) -> rule2) triple3) -> rule5) ((triple5) -> rule2)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) triple4) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) triple4) -> rule7) OR ((((triple7 ((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((triple6) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((triple3) -> rule1)) -> rule2) triple3) -> rule5) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) triple4) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((triple6) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((triple4) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) triple4) -> rule4) triple4) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) triple4) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) triple4) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((((triple5) -> rule2)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) triple4) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) triple4) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) triple4) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) triple4) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((triple5) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((triple5) -> rule2)) -> rule7) OR ((((((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8) ((((triple3) -> rule1)) -> rule2)) -> rule4) ((((triple3) -> rule1)) -> rule2)) -> rule7))] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple2) -> rule3) OR ((triple5) -> rule2) OR ((((triple3) -> rule1)) -> rule2))] Fiona is rough.[(triple5 OR ((triple3) -> rule1))] Fiona is round.[(triple6 OR ((triple4) -> rule6) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple5) -> rule2)) -> rule6) OR ((((((triple3) -> rule1)) -> rule2)) -> rule6))] Fiona is white.[(triple7 OR ((triple6) -> rule8) OR ((((triple4) -> rule6)) -> rule8) OR ((((((triple2) -> rule3)) -> rule6)) -> rule8) OR ((((((triple5) -> rule2)) -> rule6)) -> rule8) OR ((((((((triple3) -> rule1)) -> rule2)) -> rule6)) -> rule8))] Gary is furry.[(triple8)] Gary is round.[(triple9 OR ((((((triple8) -> rule1)) -> rule2)) -> rule6))] Gary is white.[(triple10 OR ((triple9) -> rule8) OR ((((((((triple8) -> rule1)) -> rule2)) -> rule6)) -> rule8))] @1: Gary is rough.[(((triple8) -> rule1))] @2: Gary is green.[(((((triple8) -> rule1)) -> rule2))] @3: Gary is big.[(((((((triple8) -> rule1)) -> rule2) triple8) -> rule5))] @4: Gary is blue.[(((((((((triple8) -> rule1)) -> rule2) triple8) -> rule5) ((((triple8) -> rule1)) -> rule2)) -> rule7))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
((triple4 triple3) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple7 triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
((triple7 ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((triple7 ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple2) -> (rule3 % int2)) triple3) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple5) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple6) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
((((triple6) -> (rule8 % int3)) ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple6) -> (rule8 % int3)) ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((triple7 ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2)) triple3) -> (rule5 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((((triple4) -> (rule6 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
((((triple6) -> (rule8 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule8 % int3)) ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple4) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple4) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple2) -> (rule3 % int4))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple2) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple5) -> (rule2 % int4))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple2) -> (rule3 % int4))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple5) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple5) -> (rule2 % int4))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((((triple2) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int5))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int5))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) triple4) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple2) -> (rule3 % int4))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((triple5) -> (rule2 % int4))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
((((((((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule6 % int3))) -> (rule8 % int2)) ((((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule4 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple1 triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((triple1 ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple4 triple3) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple7 triple4) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
((((triple4 triple3) -> (rule5 % int3)) ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((((triple7 triple4) -> (rule4 % int3)) ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
((triple1 ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple7 ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple5) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple6) -> (rule8 % int3)) triple4) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
((((triple4 triple3) -> (rule5 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple7 triple4) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
((((triple7 ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple5) -> (rule2 % int3)) triple3) -> (rule5 % int2)) ((triple5) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple6) -> (rule8 % int4)) triple4) -> (rule4 % int3)) ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple6) -> (rule8 % int4)) ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((triple7 ((triple5) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple5) -> (rule2 % int4)) triple3) -> (rule5 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
((((((triple6) -> (rule8 % int5)) triple4) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((triple6) -> (rule8 % int4)) ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
((((((triple6) -> (rule8 % int5)) ((triple5) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((triple7 ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple4) -> (rule6 % int4))) -> (rule8 % int3)) triple4) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple7 ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple6) -> (rule8 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2)) ((triple5) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple4) -> (rule6 % int5))) -> (rule8 % int4)) triple4) -> (rule4 % int3)) ((triple5) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((triple4) -> (rule6 % int5))) -> (rule8 % int4)) ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((triple7 ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((triple6) -> (rule8 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3)) triple3) -> (rule5 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) triple4) -> (rule4 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((triple4) -> (rule6 % int5))) -> (rule8 % int4)) ((triple5) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((triple6) -> (rule8 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) ((triple5) -> (rule2 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int4))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((triple4) -> (rule6 % int6))) -> (rule8 % int5)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
int6
((((((((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) triple4) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) triple4) -> (rule4 % int2)) ((triple5) -> (rule2 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule2 % int5))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple5) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int4)) triple4) -> (rule4 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int6))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((((triple5) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule2 % int5))) -> (rule4 % int2)) ((triple5) -> (rule2 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
((((((((((triple5) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int6))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((((triple5) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int4)) ((triple5) -> (rule2 % int6))) -> (rule4 % int3)) ((((triple3) -> (rule1 % int2))) -> (rule2 % int6))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((((triple5) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int6))) -> (rule4 % int2)) ((triple5) -> (rule2 % int6))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((((triple5) -> (rule2 % int6))) -> (rule6 % int5))) -> (rule8 % int4)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int6))) -> (rule4 % int2)) ((((triple3) -> (rule1 % int3))) -> (rule2 % int6))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) triple4) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) triple4) -> (rule4 % int2)) ((triple5) -> (rule2 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule2 % int5))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) triple4) -> (rule4 % int2)) ((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule2 % int5))) -> (rule4 % int2)) ((triple5) -> (rule2 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule4 % int2)) triple4) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((triple5) -> (rule2 % int5))) -> (rule4 % int2)) ((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule4 % int2)) ((triple5) -> (rule2 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
((((((((((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule6 % int4))) -> (rule8 % int3)) ((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule4 % int2)) ((((triple3) -> (rule1 % int6))) -> (rule2 % int5))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is green.
("Fiona" "is" "green" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
((triple2) -> (rule3 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple5) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
((triple3) -> (rule1 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple4) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple6) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
((((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((((((triple2) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((triple5) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
((((((((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is round.
("Gary" "is" "round" "+")
triple9
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
triple10
((triple9) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((((((triple8) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
((triple8) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((((((triple8) -> (rule1 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is blue.
("Gary" "is" "blue" "+")
((((((((triple8) -> (rule1 % int4))) -> (rule2 % int3)) triple8) -> (rule5 % int2)) ((((triple8) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4