Anne is big. Anne is blue. Anne is cold. Anne is furry. Anne is nice. Anne is rough. Anne is white. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is nice. Charlie is rough. Charlie is white. Fiona is furry. Fiona is rough. Big, nice things are cold. If something is blue then it is big. All rough things are nice. All cold things are rough. If something is white and cold then it is blue. Rough things are white. All white, nice things are blue. Cold things are nice.
Anne is big.
("Anne" "is" "big" "+")
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Big, nice things are cold.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
If something is blue then it is big.
((("something" "is" "blue" "+")) -> ("something" "is" "big" "+"))
All rough things are nice.
((("something" "is" "rough" "+")) -> ("something" "is" "nice" "+"))
All cold things are rough.
((("something" "is" "cold" "+")) -> ("something" "is" "rough" "+"))
If something is white and cold then it is blue.
((("something" "is" "white" "+") ("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
Rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
All white, nice things are blue.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Cold things are nice.
((("something" "is" "cold" "+")) -> ("something" "is" "nice" "+"))
Charlie is big.
True
1
proof
[(triple8 OR ((triple9) -> rule2) OR ((((triple14 triple10) -> rule5)) -> rule2) OR ((((triple14 triple12) -> rule7)) -> rule2) OR ((((triple14 ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((triple14 ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) triple10) -> rule5)) -> rule2) OR ((((((triple13) -> rule6) triple12) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((triple14 ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) triple10) -> rule5)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) triple12) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2))]
("Charlie" "is" "big" "+")
triple8
((triple9) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple14 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple14 triple12) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple14 ((triple10) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple14 ((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple13) -> (rule6 % int3)) triple10) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple13) -> (rule6 % int3)) triple12) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple13) -> (rule6 % int4)) ((triple10) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple13) -> (rule6 % int4)) ((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple14 ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) triple10) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) triple12) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple13) -> (rule6 % int5)) ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4)) ((triple10) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4)) ((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Fiona is not furry.
False
1
inv-proof
[(triple15)]
("Fiona" "is" "furry" "-")
triple15
Fiona is white.
True
2
proof
[(((triple16) -> rule6))]
("Fiona" "is" "white" "+")
((triple16) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is not white.
False
2
inv-proof
[(((triple16) -> rule6))]
("Fiona" "is" "white" "-")
((triple16) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
True
5
proof
[(((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7))]
("Fiona" "is" "blue" "+")
((((triple16) -> (rule6 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is not blue.
False
5
inv-proof
[(((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7))]
("Fiona" "is" "blue" "-")
((((triple16) -> (rule6 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
True
6
proof
[(((((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7)) -> rule2))]
("Fiona" "is" "big" "+")
((((((triple16) -> (rule6 % int4)) ((triple16) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is not big.
False
6
inv-proof
[(((((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7)) -> rule2))]
("Fiona" "is" "big" "-")
((((((triple16) -> (rule6 % int4)) ((triple16) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
@0: Anne is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple7 triple3) -> rule5)) -> rule2) OR ((((triple7 triple5) -> rule7)) -> rule2) OR ((((triple7 ((triple3) -> rule8)) -> rule7)) -> rule2) OR ((((triple7 ((triple6) -> rule3)) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) triple3) -> rule5)) -> rule2) OR ((((((triple6) -> rule6) triple5) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) ((triple3) -> rule8)) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) ((triple6) -> rule3)) -> rule7)) -> rule2) OR ((((triple7 ((((triple3) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) triple3) -> rule5)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) triple5) -> rule7)) -> rule2) OR ((((((triple6) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) ((triple3) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) ((triple6) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple3) -> rule4)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7)) -> rule2))] Anne is blue.[(triple2 OR ((triple7 triple3) -> rule5) OR ((triple7 triple5) -> rule7) OR ((triple7 ((triple3) -> rule8)) -> rule7) OR ((triple7 ((triple6) -> rule3)) -> rule7) OR ((triple7 ((triple1 triple5) -> rule1)) -> rule5) OR ((((triple6) -> rule6) triple3) -> rule5) OR ((((triple6) -> rule6) triple5) -> rule7) OR ((((triple6) -> rule6) ((triple3) -> rule8)) -> rule7) OR ((((triple6) -> rule6) ((triple6) -> rule3)) -> rule7) OR ((((triple6) -> rule6) ((triple1 triple5) -> rule1)) -> rule5) OR ((triple7 ((((triple3) -> rule4)) -> rule3)) -> rule7) OR ((triple7 ((triple1 ((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) triple3) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) triple5) -> rule7) OR ((((triple6) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7) OR ((((triple6) -> rule6) ((triple1 ((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) ((triple3) -> rule8)) -> rule7) OR ((((((triple3) -> rule4)) -> rule6) ((triple6) -> rule3)) -> rule7) OR ((((((triple3) -> rule4)) -> rule6) ((triple1 triple5) -> rule1)) -> rule5) OR ((((((triple3) -> rule4)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7) OR ((((((triple3) -> rule4)) -> rule6) ((triple1 ((triple6) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) triple3) -> rule5) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) triple5) -> rule7) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((triple3) -> rule8)) -> rule7) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((triple6) -> rule3)) -> rule7) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((triple1 triple5) -> rule1)) -> rule5) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((((triple3) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) ((triple1 ((triple6) -> rule3)) -> rule1)) -> rule5))] Anne is cold.[(triple3 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple6) -> rule3)) -> rule1) OR ((((triple2) -> rule2) triple5) -> rule1) OR ((((triple2) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((triple7 triple5) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple7 triple5) -> rule7)) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((triple7 ((triple6) -> rule3)) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((((triple6) -> rule6) triple5) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((triple7 ((triple6) -> rule3)) -> rule7)) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((((triple6) -> rule6) triple5) -> rule7)) -> rule2) ((triple6) -> rule3)) -> rule1) OR ((((((((triple6) -> rule6) ((triple6) -> rule3)) -> rule7)) -> rule2) triple5) -> rule1) OR ((((((((triple6) -> rule6) ((triple6) -> rule3)) -> rule7)) -> rule2) ((triple6) -> rule3)) -> rule1))] Anne is furry.[(triple4)] Anne is nice.[(triple5 OR ((triple3) -> rule8) OR ((triple6) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Anne is rough.[(triple6 OR ((triple3) -> rule4) OR ((((triple1 triple5) -> rule1)) -> rule4) OR ((((((triple2) -> rule2) triple5) -> rule1)) -> rule4) OR ((((((((triple7 triple5) -> rule7)) -> rule2) triple5) -> rule1)) -> rule4))] Anne is white.[(triple7 OR ((triple6) -> rule6) OR ((((triple3) -> rule4)) -> rule6) OR ((((((triple1 triple5) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple2) -> rule2) triple5) -> rule1)) -> rule4)) -> rule6))] Charlie is big.[(triple8 OR ((triple9) -> rule2) OR ((((triple14 triple10) -> rule5)) -> rule2) OR ((((triple14 triple12) -> rule7)) -> rule2) OR ((((triple14 ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((triple14 ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) triple10) -> rule5)) -> rule2) OR ((((((triple13) -> rule6) triple12) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((triple14 ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) triple10) -> rule5)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) triple12) -> rule7)) -> rule2) OR ((((((triple13) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) OR ((((((((triple10) -> rule4)) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7)) -> rule2))] Charlie is blue.[(triple9 OR ((triple14 triple10) -> rule5) OR ((triple14 triple12) -> rule7) OR ((triple14 ((triple10) -> rule8)) -> rule7) OR ((triple14 ((triple13) -> rule3)) -> rule7) OR ((triple14 ((triple8 triple12) -> rule1)) -> rule5) OR ((((triple13) -> rule6) triple10) -> rule5) OR ((((triple13) -> rule6) triple12) -> rule7) OR ((((triple13) -> rule6) ((triple10) -> rule8)) -> rule7) OR ((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7) OR ((((triple13) -> rule6) ((triple8 triple12) -> rule1)) -> rule5) OR ((triple14 ((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((triple14 ((triple8 ((triple13) -> rule3)) -> rule1)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) triple10) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) triple12) -> rule7) OR ((((triple13) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((triple13) -> rule6) ((triple8 ((triple13) -> rule3)) -> rule1)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7) OR ((((((triple10) -> rule4)) -> rule6) ((triple13) -> rule3)) -> rule7) OR ((((((triple10) -> rule4)) -> rule6) ((triple8 triple12) -> rule1)) -> rule5) OR ((((((triple10) -> rule4)) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((triple10) -> rule4)) -> rule6) ((triple8 ((triple13) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) triple10) -> rule5) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) triple12) -> rule7) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((triple10) -> rule8)) -> rule7) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((triple13) -> rule3)) -> rule7) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((triple8 triple12) -> rule1)) -> rule5) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((((triple10) -> rule4)) -> rule3)) -> rule7) OR ((((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) ((triple8 ((triple13) -> rule3)) -> rule1)) -> rule5))] Charlie is cold.[(triple10 OR ((triple8 triple12) -> rule1) OR ((triple8 ((triple13) -> rule3)) -> rule1) OR ((((triple9) -> rule2) triple12) -> rule1) OR ((((triple9) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((triple14 triple12) -> rule7)) -> rule2) triple12) -> rule1) OR ((((((triple14 triple12) -> rule7)) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((triple14 ((triple13) -> rule3)) -> rule7)) -> rule2) triple12) -> rule1) OR ((((((((triple13) -> rule6) triple12) -> rule7)) -> rule2) triple12) -> rule1) OR ((((((triple14 ((triple13) -> rule3)) -> rule7)) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((((triple13) -> rule6) triple12) -> rule7)) -> rule2) ((triple13) -> rule3)) -> rule1) OR ((((((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) triple12) -> rule1) OR ((((((((triple13) -> rule6) ((triple13) -> rule3)) -> rule7)) -> rule2) ((triple13) -> rule3)) -> rule1))] Charlie is furry.[(triple11)] Charlie is nice.[(triple12 OR ((triple10) -> rule8) OR ((triple13) -> rule3) OR ((((triple10) -> rule4)) -> rule3))] Charlie is rough.[(triple13 OR ((triple10) -> rule4) OR ((((triple8 triple12) -> rule1)) -> rule4) OR ((((((triple9) -> rule2) triple12) -> rule1)) -> rule4) OR ((((((((triple14 triple12) -> rule7)) -> rule2) triple12) -> rule1)) -> rule4))] Charlie is white.[(triple14 OR ((triple13) -> rule6) OR ((((triple10) -> rule4)) -> rule6) OR ((((((triple8 triple12) -> rule1)) -> rule4)) -> rule6) OR ((((((((triple9) -> rule2) triple12) -> rule1)) -> rule4)) -> rule6))] Fiona is furry.[(triple15)] Fiona is rough.[(triple16)] @1: Fiona is nice.[(((triple16) -> rule3))] Fiona is white.[(((triple16) -> rule6))] @2: Fiona is blue.[(((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7))] @3: Fiona is big.[(((((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7)) -> rule2))] @4: Fiona is cold.[(((((((((triple16) -> rule6) ((triple16) -> rule3)) -> rule7)) -> rule2) ((triple16) -> rule3)) -> rule1))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((triple2) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
((((triple7 triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple7 triple5) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple7 ((triple3) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((triple7 ((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple6) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple6) -> (rule6 % int3)) triple5) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((((triple6) -> (rule6 % int4)) ((triple3) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple6) -> (rule6 % int4)) ((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple7 ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule6 % int3)) triple3) -> (rule5 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((((triple3) -> (rule4 % int4))) -> (rule6 % int3)) triple5) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple6) -> (rule6 % int5)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4)) ((triple3) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4)) ((triple6) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((((triple3) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple3) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
triple2
((triple7 triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple7 triple5) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple7 ((triple3) -> (rule8 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple7 ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((triple7 ((triple1 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple6) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple6) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple3) -> (rule8 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple6) -> (rule6 % int3)) ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((((triple6) -> (rule6 % int3)) ((triple1 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
((triple7 ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((triple7 ((triple1 ((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((((triple3) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
((((triple6) -> (rule6 % int4)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((triple6) -> (rule6 % int4)) ((triple1 ((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule6 % int3)) ((triple3) -> (rule8 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule6 % int3)) ((triple1 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
((((((triple3) -> (rule4 % int5))) -> (rule6 % int4)) ((triple1 ((triple6) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
((((((((triple1 triple5) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple3) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple1 triple5) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple5) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple1 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple3) -> (rule8 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple1 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple6) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple1 triple5) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple1 triple5) -> (rule1 % int4))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is white.
("Anne" "is" "white" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple1 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((triple1 triple5) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple1 ((triple6) -> (rule3 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is cold.
("Anne" "is" "cold" "+")
triple3
((triple1 triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple1 ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
((((triple2) -> (rule2 % int3)) ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((triple7 triple5) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple7 triple5) -> (rule7 % int4))) -> (rule2 % int3)) ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple7 ((triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple5) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
int4
((((((triple7 ((triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple6) -> (rule3 % int4))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple6) -> (rule6 % int5)) triple5) -> (rule7 % int4))) -> (rule2 % int3)) ((triple6) -> (rule3 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
((((((((triple6) -> (rule6 % int5)) ((triple6) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple6) -> (rule3 % int4))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
int5
Anne is furry.
("Anne" "is" "furry" "+")
triple4
Anne is nice.
("Anne" "is" "nice" "+")
triple5
((triple3) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((triple6) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
triple6
((triple3) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple1 triple5) -> (rule1 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple2) -> (rule2 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
((((((((triple7 triple5) -> (rule7 % int4))) -> (rule2 % int3)) triple5) -> (rule1 % int2))) -> (rule4 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
triple7
((triple6) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
((((triple3) -> (rule4 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
((((((triple1 triple5) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((((triple2) -> (rule2 % int4)) triple5) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is big.
("Anne" "is" "big" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
triple8
((triple9) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((triple14 triple10) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple14 triple12) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple14 ((triple10) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple14 ((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple13) -> (rule6 % int3)) triple10) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple13) -> (rule6 % int3)) triple12) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple13) -> (rule6 % int4)) ((triple10) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple13) -> (rule6 % int4)) ((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple14 ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) triple10) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) triple12) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple13) -> (rule6 % int5)) ((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4)) ((triple10) -> (rule8 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4)) ((triple13) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple10) -> (rule4 % int5))) -> (rule6 % int4)) ((((triple10) -> (rule4 % int5))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
((triple14 triple10) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple14 triple12) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple14 ((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple14 ((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple14 ((triple8 triple12) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple13) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple13) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple13) -> (rule6 % int3)) ((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple13) -> (rule6 % int3)) ((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((triple13) -> (rule6 % int3)) ((triple8 triple12) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((triple14 ((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((triple14 ((triple8 ((triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple10) -> (rule4 % int3))) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple13) -> (rule6 % int4)) ((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple13) -> (rule6 % int4)) ((triple8 ((triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) ((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) ((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) ((triple8 triple12) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple10) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple10) -> (rule4 % int5))) -> (rule6 % int4)) ((triple8 ((triple13) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple8 triple12) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple10) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple8 triple12) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple12) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple8 triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple10) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple8 triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple13) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple8 triple12) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) ((triple8 triple12) -> (rule1 % int4))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple8 triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((((triple10) -> (rule4 % int4))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple8 triple12) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) ((triple8 ((triple13) -> (rule3 % int2))) -> (rule1 % int5))) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple10
((triple8 triple12) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((triple8 ((triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple9) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple9) -> (rule2 % int3)) ((triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((triple14 triple12) -> (rule7 % int3))) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple14 triple12) -> (rule7 % int4))) -> (rule2 % int3)) ((triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple14 ((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple13) -> (rule6 % int4)) triple12) -> (rule7 % int3))) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((triple14 ((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple13) -> (rule3 % int4))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple13) -> (rule6 % int5)) triple12) -> (rule7 % int4))) -> (rule2 % int3)) ((triple13) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple13) -> (rule6 % int5)) ((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) triple12) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple13) -> (rule6 % int5)) ((triple13) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple13) -> (rule3 % int4))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is furry.
("Charlie" "is" "furry" "+")
triple11
Charlie is nice.
("Charlie" "is" "nice" "+")
triple12
((triple10) -> (rule8 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple13) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
triple13
((triple10) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple8 triple12) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple9) -> (rule2 % int3)) triple12) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
((((((((triple14 triple12) -> (rule7 % int4))) -> (rule2 % int3)) triple12) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
triple14
((triple13) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple10) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((((triple8 triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((((triple9) -> (rule2 % int4)) triple12) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
int4
Fiona is furry.
("Fiona" "is" "furry" "+")
triple15
Fiona is rough.
("Fiona" "is" "rough" "+")
triple16
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple16) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((triple16) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((((triple16) -> (rule6 % int3)) ((triple16) -> (rule3 % int2))) -> (rule7 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple16) -> (rule6 % int4)) ((triple16) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((((triple16) -> (rule6 % int5)) ((triple16) -> (rule3 % int4))) -> (rule7 % int3))) -> (rule2 % int2)) ((triple16) -> (rule3 % int4))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5