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