Charlie is cold. Charlie is kind. Charlie is rough. If Charlie is kind then Charlie is green. If Charlie is white then Charlie is kind. Rough things are cold. All cold things are white. Green, white things are nice. All rough, nice things are quiet. Cold, green things are nice. All rough things are white.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
If Charlie is kind then Charlie is green.
((("Charlie" "is" "kind" "+")) -> ("Charlie" "is" "green" "+"))
If Charlie is white then Charlie is kind.
((("Charlie" "is" "white" "+")) -> ("Charlie" "is" "kind" "+"))
Rough things are cold.
((("something" "is" "rough" "+")) -> ("something" "is" "cold" "+"))
All cold things are white.
((("something" "is" "cold" "+")) -> ("something" "is" "white" "+"))
Green, white things are nice.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
All rough, nice things are quiet.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
Cold, green things are nice.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
All rough things are white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
Charlie is kind.
True
1
proof
[(triple2 OR ((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule3)) -> rule4)) -> rule2))]
("Charlie" "is" "kind" "+")
triple2
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not rough.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Charlie is green.
True
2
proof
[(((triple2) -> rule1) OR ((((((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple3) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1))]
("Charlie" "is" "green" "+")
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not green.
False
2
inv-proof
[(((triple2) -> rule1) OR ((((((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple3) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1))]
("Charlie" "is" "green" "-")
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is nice.
True
4
proof
[(((triple1 ((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((triple1 ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5))]
("Charlie" "is" "nice" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple1 ((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple1 ((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple3) -> (rule3 % int5)) ((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple1 ((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is not nice.
False
4
inv-proof
[(((triple1 ((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((triple1 ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5))]
("Charlie" "is" "nice" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple1 ((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple1 ((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple3) -> (rule3 % int5)) ((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple1 ((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is quiet.
True
6
proof
[(((triple3 ((triple1 ((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((triple1 ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((triple1 ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((triple1 ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6))]
("Charlie" "is" "quiet" "+")
((triple3 ((triple1 ((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple3 ((((triple2) -> (rule1 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple3 ((((triple2) -> (rule1 % int4)) ((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple3 ((((triple3) -> (rule3 % int4)) ((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple3 ((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple3 ((triple1 ((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((triple1 ((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((triple3) -> (rule3 % int6)) ((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((triple3) -> (rule3 % int6)) ((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple1) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple3 ((((((((triple3) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple3 ((triple1 ((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((triple3) -> (rule3 % int6)) ((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
Charlie is not quiet.
False
6
inv-proof
[(((triple3 ((triple1 ((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((triple1 ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((triple1 ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((triple1 ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6))]
("Charlie" "is" "quiet" "-")
((triple3 ((triple1 ((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple3 ((((triple2) -> (rule1 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple3 ((((triple2) -> (rule1 % int4)) ((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple3 ((((triple3) -> (rule3 % int4)) ((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple3 ((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple3 ((triple1 ((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((triple1 ((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((triple3) -> (rule3 % int6)) ((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((triple3) -> (rule3 % int6)) ((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple1) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple3 ((((((((triple3) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple3 ((triple1 ((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((triple3) -> (rule3 % int6)) ((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
@0: Charlie is cold.[(triple1 OR ((triple3) -> rule3))] Charlie is kind.[(triple2 OR ((((triple1) -> rule4)) -> rule2) OR ((((triple3) -> rule8)) -> rule2) OR ((((((triple3) -> rule3)) -> rule4)) -> rule2))] Charlie is rough.[(triple3)] @1: Charlie is green.[(((triple2) -> rule1) OR ((((((triple1) -> rule4)) -> rule2)) -> rule1) OR ((((((triple3) -> rule8)) -> rule2)) -> rule1) OR ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1))] Charlie is white.[(((triple1) -> rule4) OR ((triple3) -> rule8) OR ((((triple3) -> rule3)) -> rule4))] @2: Charlie is nice.[(((triple1 ((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule7) OR ((((triple2) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((triple1 ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5) OR ((triple1 ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((triple3) -> rule3) ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5) OR ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5))] @3: Charlie is quiet.[(((triple3 ((triple1 ((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((triple2) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple2) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((triple1 ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((triple1 ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((triple1) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((triple3) -> rule8)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple1) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((triple3) -> rule8)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((triple1 ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((triple3) -> rule3) ((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1)) -> rule7)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple1) -> rule4)) -> rule5)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((triple3) -> rule8)) -> rule5)) -> rule6) OR ((triple3 ((((((((((triple3) -> rule3)) -> rule4)) -> rule2)) -> rule1) ((((triple3) -> rule3)) -> rule4)) -> rule5)) -> rule6))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
((triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
((((triple1) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((triple3) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is green.
("Charlie" "is" "green" "+")
((triple2) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((((triple1) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((triple3) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
((((((((triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
((triple1) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((triple3) -> (rule8 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((triple2) -> (rule1 % int3)) ((triple1) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple2) -> (rule1 % int3)) ((triple3) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((triple3) -> (rule3 % int3)) ((triple2) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple2) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple1 ((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((triple1 ((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((triple3) -> (rule3 % int5)) ((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple1) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple3) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int2))) -> (rule4 % int5))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple1 ((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((triple3) -> (rule3 % int5)) ((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple1) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((triple3) -> (rule8 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) ((((triple3) -> (rule3 % int5))) -> (rule4 % int4))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3 ((triple1 ((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((triple3 ((((triple2) -> (rule1 % int4)) ((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple3 ((((triple2) -> (rule1 % int4)) ((triple3) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((triple3 ((((triple3) -> (rule3 % int4)) ((triple2) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple3 ((((triple2) -> (rule1 % int5)) ((((triple3) -> (rule3 % int4))) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((triple3 ((triple1 ((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((triple1 ((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((triple3) -> (rule3 % int6)) ((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((triple3) -> (rule3 % int6)) ((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple1) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple3) -> (rule8 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((triple3 ((((((((triple1) -> (rule4 % int6))) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple3 ((((((((triple3) -> (rule8 % int6))) -> (rule2 % int5))) -> (rule1 % int4)) ((((triple3) -> (rule3 % int3))) -> (rule4 % int6))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is white.
("Charlie" "is" "white" "+")
int6
((triple3 ((triple1 ((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((triple3) -> (rule3 % int6)) ((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple1) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((triple3) -> (rule8 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6
((triple3 ((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple3) -> (rule3 % int6))) -> (rule4 % int5))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
int6