Dave is kind. Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is kind. Fiona is young. Gary is cold. Gary is furry. Gary is young. Harry is kind. Cold, green people are furry. If someone is blue then they are kind. If someone is big and blue then they are cold. All blue people are cold. Kind people are blue. Cold, young people are green. If Gary is kind then Gary is big. Cold people are young.
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Cold, green people are furry.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "furry" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and blue then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
All blue people are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
Kind people are blue.
((("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
Cold, young people are green.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If Gary is kind then Gary is big.
((("Gary" "is" "kind" "+")) -> ("Gary" "is" "big" "+"))
Cold people are young.
((("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
Fiona is blue.
True
1
proof
[(triple3 OR ((triple6) -> rule5))]
("Fiona" "is" "blue" "+")
triple3
((triple6) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not big.
False
1
inv-proof
[(triple2)]
("Fiona" "is" "big" "-")
triple2
Harry is blue.
True
2
proof
[(((triple11) -> rule5))]
("Harry" "is" "blue" "+")
((triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple1) -> rule5))]
("Dave" "is" "blue" "-")
((triple1) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Harry is cold.
True
3
proof
[(((((triple11) -> rule5)) -> rule4))]
("Harry" "is" "cold" "+")
((((triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Dave is not cold.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule4))]
("Dave" "is" "cold" "-")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is young.
True
4
proof
[(((((((triple1) -> rule5)) -> rule4)) -> rule8))]
("Dave" "is" "young" "+")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Harry is not young.
False
4
inv-proof
[(((((((triple11) -> rule5)) -> rule4)) -> rule8))]
("Harry" "is" "young" "-")
((((((triple11) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Dave is green.
True
8
proof
[(((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6))]
("Dave" "is" "green" "+")
((((((triple1) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not green.
False
8
inv-proof
[(((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6))]
("Dave" "is" "green" "-")
((((((triple1) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is furry.
True
12
proof
[(((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1))]
("Dave" "is" "furry" "+")
((((((triple1) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is not furry.
False
12
inv-proof
[(((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1))]
("Dave" "is" "furry" "-")
((((((triple1) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule2 <- rule5 <- FAIL)]]
("Gary" "is" "kind" "-")
Gary is big.
Unknown
rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule7 <- rule2 <- rule5 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Dave is kind.[(triple1)] Fiona is big.[(triple2)] Fiona is blue.[(triple3 OR ((triple6) -> rule5))] Fiona is cold.[(triple4 OR ((triple3) -> rule4) OR ((triple2 triple3) -> rule3) OR ((((triple6) -> rule5)) -> rule4) OR ((triple2 ((triple6) -> rule5)) -> rule3))] Fiona is furry.[(triple5 OR ((triple4 ((triple4 triple7) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((triple4 triple7) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((triple4 triple7) -> rule6)) -> rule1) OR ((triple4 ((triple4 ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple3) -> rule4) triple7) -> rule6)) -> rule1) OR ((triple4 ((((triple2 triple3) -> rule3) triple7) -> rule6)) -> rule1) OR ((triple4 ((((triple3) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 triple3) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((triple4 ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule4) triple7) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 triple3) -> rule3) triple7) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((triple4 triple7) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((triple4 ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule4) triple7) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) triple7) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4 triple7) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 triple3) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((triple4 ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4) triple7) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3) triple7) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4 ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4) triple7) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3) triple7) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((triple4 ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((((triple6) -> rule5)) -> rule4) triple7) -> rule6)) -> rule1) OR ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3) triple7) -> rule6)) -> rule1) OR ((triple4 ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple3) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((((triple6) -> rule5)) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 triple3) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((triple4 ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4) triple7) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) triple7) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((triple4 ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4) triple7) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) triple7) -> rule6)) -> rule1) OR ((triple4 ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 triple3) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((triple4 ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4) triple7) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) triple7) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4 ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4) triple7) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) triple7) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((triple4 ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((triple4 ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((triple4 ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((triple4 ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4 ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6)) -> rule1))] Fiona is kind.[(triple6 OR ((triple3) -> rule2))] Fiona is young.[(triple7 OR ((triple4) -> rule8) OR ((((triple3) -> rule4)) -> rule8) OR ((((triple2 triple3) -> rule3)) -> rule8) OR ((((((triple6) -> rule5)) -> rule4)) -> rule8) OR ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8))] Gary is cold.[(triple8)] Gary is furry.[(triple9 OR ((triple8 ((triple8 triple10) -> rule6)) -> rule1) OR ((triple8 ((triple8 ((triple8) -> rule8)) -> rule6)) -> rule1))] Gary is young.[(triple10 OR ((triple8) -> rule8))] Harry is kind.[(triple11)] @1: Dave is blue.[(((triple1) -> rule5))] Fiona is green.[(((triple4 triple7) -> rule6) OR ((triple4 ((triple4) -> rule8)) -> rule6) OR ((((triple3) -> rule4) triple7) -> rule6) OR ((((triple2 triple3) -> rule3) triple7) -> rule6) OR ((((triple3) -> rule4) ((triple4) -> rule8)) -> rule6) OR ((((triple2 triple3) -> rule3) ((triple4) -> rule8)) -> rule6) OR ((triple4 ((((triple3) -> rule4)) -> rule8)) -> rule6) OR ((triple4 ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6) OR ((((((triple6) -> rule5)) -> rule4) triple7) -> rule6) OR ((((triple2 ((triple6) -> rule5)) -> rule3) triple7) -> rule6) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6) OR ((((triple3) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6) OR ((((((triple6) -> rule5)) -> rule4) ((triple4) -> rule8)) -> rule6) OR ((((triple2 triple3) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6) OR ((((triple2 triple3) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((triple4) -> rule8)) -> rule6) OR ((((((triple6) -> rule5)) -> rule4) ((((triple3) -> rule4)) -> rule8)) -> rule6) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple3) -> rule4)) -> rule8)) -> rule6) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 triple3) -> rule3)) -> rule8)) -> rule6) OR ((triple4 ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6) OR ((triple4 ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6) OR ((((triple3) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6) OR ((((triple3) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6) OR ((((triple2 triple3) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6) OR ((((triple2 triple3) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6) OR ((((((triple6) -> rule5)) -> rule4) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6) OR ((((((triple6) -> rule5)) -> rule4) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((((triple6) -> rule5)) -> rule4)) -> rule8)) -> rule6) OR ((((triple2 ((triple6) -> rule5)) -> rule3) ((((triple2 ((triple6) -> rule5)) -> rule3)) -> rule8)) -> rule6))] Gary is green.[(((triple8 triple10) -> rule6) OR ((triple8 ((triple8) -> rule8)) -> rule6))] Harry is blue.[(((triple11) -> rule5))] @2: Dave is cold.[(((((triple1) -> rule5)) -> rule4))] Harry is cold.[(((((triple11) -> rule5)) -> rule4))] @3: Dave is young.[(((((((triple1) -> rule5)) -> rule4)) -> rule8))] Harry is young.[(((((((triple11) -> rule5)) -> rule4)) -> rule8))] @4: Dave is green.[(((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6))] Harry is green.[(((((((triple11) -> rule5)) -> rule4) ((((((triple11) -> rule5)) -> rule4)) -> rule8)) -> rule6))] @5: Dave is furry.[(((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4) ((((((triple1) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1))] Harry is furry.[(((((((triple11) -> rule5)) -> rule4) ((((((triple11) -> rule5)) -> rule4) ((((((triple11) -> rule5)) -> rule4)) -> rule8)) -> rule6)) -> rule1))]
Dave is kind.
("Dave" "is" "kind" "+")
triple1
Fiona is big.
("Fiona" "is" "big" "+")
triple2
Fiona is blue.
("Fiona" "is" "blue" "+")
triple3
((triple6) -> (rule5 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple4
((triple3) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((triple2 triple3) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
((((triple6) -> (rule5 % int2))) -> (rule4 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((triple2 ((triple6) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple5
((triple4 ((triple4 triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple4 triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple2 triple3) -> (rule3 % int3)) ((triple4 triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple4 ((triple4 ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple4 ((((triple3) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple4 ((((triple2 triple3) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple4 ((((triple3) -> (rule4 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((((triple2 triple3) -> (rule3 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple2 triple3) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((triple4 triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int3)) ((((triple3) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple2 triple3) -> (rule3 % int3)) ((((triple2 triple3) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4 triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((triple4 ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple2 triple3) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4 ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 triple3) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((triple4 ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((triple4 ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple4 ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple4 ((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((((triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((((triple2 triple3) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple3) -> (rule4 % int4)) ((triple4 ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int4)) ((triple4 ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int3))) -> (rule4 % int4)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int3))) -> (rule3 % int4)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((triple4 ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((triple4 ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int3))) -> (rule4 % int4)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int3))) -> (rule3 % int4)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((triple4 ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((triple4 ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((triple4 ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4 ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4 ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) triple7) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple3) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((((triple2 triple3) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((((triple2 triple3) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((((triple2 triple3) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((((triple3) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((((triple2 triple3) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((triple4 ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((triple4 ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((((triple3) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((triple4 ((((triple3) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((triple4 ((((triple2 triple3) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((triple4 ((((triple2 triple3) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((triple4 ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((triple4 ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((triple4 ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((triple4 ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((triple4 ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((triple4 ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple3) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2 triple3) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2 triple3) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((triple4 ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((triple4 ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((triple3) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((triple3) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((triple2 triple3) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((triple2 triple3) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4 ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((triple4 ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple3) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 triple3) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int5))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple3) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 triple3) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int5))) -> (rule3 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
((triple3) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
triple7
((triple4) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple2 triple3) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((((triple6) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple2 ((triple6) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple8 ((triple8 triple10) -> (rule6 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((triple8 ((triple8 ((triple8) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple10
((triple8) -> (rule8 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Dave is blue.
("Dave" "is" "blue" "+")
((triple1) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple4 triple7) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
((triple4 ((triple4) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple3) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple2 triple3) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
((((triple3) -> (rule4 % int3)) ((triple4) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple2 triple3) -> (rule3 % int3)) ((triple4) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple4 ((((triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((triple4 ((((triple2 triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int3))) -> (rule4 % int2)) triple7) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple2 ((triple6) -> (rule5 % int3))) -> (rule3 % int2)) triple7) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple2 triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((triple4) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 triple3) -> (rule3 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple2 triple3) -> (rule3 % int3)) ((((triple2 triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((triple4) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple2 triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 triple3) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple4 ((((((triple6) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((triple4 ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple3) -> (rule4 % int4)) ((((((triple6) -> (rule5 % int3))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple3) -> (rule4 % int4)) ((((triple2 ((triple6) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((((triple6) -> (rule5 % int3))) -> (rule4 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((triple2 triple3) -> (rule3 % int4)) ((((triple2 ((triple6) -> (rule5 % int3))) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is cold.
("Fiona" "is" "cold" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((triple6) -> (rule5 % int4))) -> (rule4 % int3)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((((triple6) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3)) ((((triple2 ((triple6) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
((triple8 triple10) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((triple8 ((triple8) -> (rule8 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((triple11) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple1) -> (rule5 % int2))) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple11) -> (rule5 % int2))) -> (rule4 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((((triple1) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((((triple11) -> (rule5 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
((((((triple1) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple1) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
((((((triple11) -> (rule5 % int4))) -> (rule4 % int3)) ((((((triple11) -> (rule5 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
((((((triple1) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple1) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
int3
Dave is cold.
("Dave" "is" "cold" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
((((((triple11) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple11) -> (rule5 % int5))) -> (rule4 % int4)) ((((((triple11) -> (rule5 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is cold.
("Harry" "is" "cold" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5