Bob is blue. Bob is cold. Bob is rough. Bob is white. Bob is young. Charlie is blue. Charlie is furry. Charlie is round. Charlie is white. Harry is blue. Harry is cold. Harry is furry. Harry is rough. Harry is round. Harry is young. White things are blue. If Harry is cold and Harry is young then Harry is rough. If something is furry then it is blue. All furry things are white. If Charlie is cold then Charlie is young. Rough, furry things are cold. If Charlie is blue and Charlie is round then Charlie is rough. All rough, blue things are cold.
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
White things are blue.
((("something" "is" "white" "+")) -> ("something" "is" "blue" "+"))
If Harry is cold and Harry is young then Harry is rough.
((("Harry" "is" "cold" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "rough" "+"))
If something is furry then it is blue.
((("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
All furry things are white.
((("something" "is" "furry" "+")) -> ("something" "is" "white" "+"))
If Charlie is cold then Charlie is young.
((("Charlie" "is" "cold" "+")) -> ("Charlie" "is" "young" "+"))
Rough, furry things are cold.
((("something" "is" "rough" "+") ("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
If Charlie is blue and Charlie is round then Charlie is rough.
((("Charlie" "is" "blue" "+") ("Charlie" "is" "round" "+")) -> ("Charlie" "is" "rough" "+"))
All rough, blue things are cold.
((("something" "is" "rough" "+") ("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
Harry is furry.
True
1
proof
[(triple12)]
("Harry" "is" "furry" "+")
triple12
Bob is not young.
False
1
inv-proof
[(triple5)]
("Bob" "is" "young" "-")
triple5
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is blue.[(triple1 OR ((triple4) -> rule1))] Bob is cold.[(triple2 OR ((triple3 triple1) -> rule8) OR ((triple3 ((triple4) -> rule1)) -> rule8))] Bob is rough.[(triple3)] Bob is white.[(triple4)] Bob is young.[(triple5)] Charlie is blue.[(triple6 OR ((triple7) -> rule3) OR ((triple9) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] Charlie is furry.[(triple7)] Charlie is round.[(triple8)] Charlie is white.[(triple9 OR ((triple7) -> rule4))] Harry is blue.[(triple10 OR ((triple12) -> rule3) OR ((((triple12) -> rule4)) -> rule1))] Harry is cold.[(triple11 OR ((triple13 triple10) -> rule8) OR ((triple13 triple12) -> rule6) OR ((triple13 ((triple12) -> rule3)) -> rule8) OR ((triple13 ((((triple12) -> rule4)) -> rule1)) -> rule8))] Harry is furry.[(triple12)] Harry is rough.[(triple13 OR ((triple11 triple15) -> rule2))] Harry is round.[(triple14)] Harry is young.[(triple15)] @1: Charlie is rough.[(((triple6 triple8) -> rule7) OR ((((triple7) -> rule3) triple8) -> rule7) OR ((((triple9) -> rule1) triple8) -> rule7) OR ((((((triple7) -> rule4)) -> rule1) triple8) -> rule7))] Harry is white.[(((triple12) -> rule4))] @2: Charlie is cold.[(((((triple6 triple8) -> rule7) triple6) -> rule8) OR ((((triple6 triple8) -> rule7) triple7) -> rule6) OR ((((triple6 triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((triple6 triple8) -> rule7) ((triple9) -> rule1)) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) triple6) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) triple7) -> rule6) OR ((((((triple9) -> rule1) triple8) -> rule7) triple6) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule7) triple7) -> rule6) OR ((((triple6 triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) ((triple9) -> rule1)) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule7) ((triple9) -> rule1)) -> rule8) OR ((((((triple7) -> rule3) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((triple9) -> rule1) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) triple6) -> rule8) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) triple7) -> rule6) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((triple7) -> rule3)) -> rule8) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((triple9) -> rule1)) -> rule8) OR ((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8))] @3: Charlie is young.[(((((((triple6 triple8) -> rule7) triple6) -> rule8)) -> rule5) OR ((((((triple6 triple8) -> rule7) triple7) -> rule6)) -> rule5) OR ((((((triple6 triple8) -> rule7) ((triple7) -> rule3)) -> rule8)) -> rule5) OR ((((((triple6 triple8) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) triple6) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) triple7) -> rule6)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) triple6) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) triple7) -> rule6)) -> rule5) OR ((((((triple6 triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) ((triple7) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) ((triple7) -> rule3)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple7) -> rule3) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8)) -> rule5) OR ((((((((triple9) -> rule1) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) triple6) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) triple7) -> rule6)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((triple7) -> rule3)) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((triple9) -> rule1)) -> rule8)) -> rule5) OR ((((((((((triple7) -> rule4)) -> rule1) triple8) -> rule7) ((((triple7) -> rule4)) -> rule1)) -> rule8)) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
((triple4) -> (rule1 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
triple2
((triple3 triple1) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple3 ((triple4) -> (rule1 % int2))) -> (rule8 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Bob is white.
("Bob" "is" "white" "+")
triple4
Bob is young.
("Bob" "is" "young" "+")
triple5
Charlie is blue.
("Charlie" "is" "blue" "+")
triple6
((triple7) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((triple9) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple8
Charlie is white.
("Charlie" "is" "white" "+")
triple9
((triple7) -> (rule4 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
triple10
((triple12) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((((triple12) -> (rule4 % int2))) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
triple11
((triple13 triple10) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple13 triple12) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple13 ((triple12) -> (rule3 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
((triple13 ((((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
triple12
Harry is rough.
("Harry" "is" "rough" "+")
triple13
((triple11 triple15) -> (rule2 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple14
Harry is young.
("Harry" "is" "young" "+")
triple15
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple6 triple8) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple7) -> (rule3 % int2)) triple8) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((triple9) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2)) triple8) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((triple12) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple6 triple8) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6 triple8) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple6 triple8) -> (rule7 % int3)) ((triple7) -> (rule3 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple6 triple8) -> (rule7 % int3)) ((triple9) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple7) -> (rule3 % int3)) triple8) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple7) -> (rule3 % int3)) triple8) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple9) -> (rule1 % int3)) triple8) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple9) -> (rule1 % int3)) triple8) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((triple6 triple8) -> (rule7 % int4)) ((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple7) -> (rule3 % int3)) triple8) -> (rule7 % int2)) ((triple7) -> (rule3 % int3))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple7) -> (rule3 % int3)) triple8) -> (rule7 % int2)) ((triple9) -> (rule1 % int3))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple9) -> (rule1 % int3)) triple8) -> (rule7 % int2)) ((triple7) -> (rule3 % int3))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple9) -> (rule1 % int3)) triple8) -> (rule7 % int2)) ((triple9) -> (rule1 % int3))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
((((((triple7) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((((triple7) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple9) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((((triple7) -> (rule4 % int2))) -> (rule1 % int4))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple7) -> (rule4 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2)) triple6) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple7) -> (rule4 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple7) -> (rule4 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2)) ((triple7) -> (rule3 % int3))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple7) -> (rule4 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2)) ((triple9) -> (rule1 % int3))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
((((((((triple7) -> (rule4 % int4))) -> (rule1 % int3)) triple8) -> (rule7 % int2)) ((((triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
((((((triple6 triple8) -> (rule7 % int3)) triple6) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6 triple8) -> (rule7 % int3)) triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple6 triple8) -> (rule7 % int4)) ((triple7) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple6 triple8) -> (rule7 % int4)) ((triple9) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple7) -> (rule3 % int4)) triple8) -> (rule7 % int3)) triple6) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple7) -> (rule3 % int4)) triple8) -> (rule7 % int3)) triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple9) -> (rule1 % int4)) triple8) -> (rule7 % int3)) triple6) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple9) -> (rule1 % int4)) triple8) -> (rule7 % int3)) triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((triple6 triple8) -> (rule7 % int5)) ((((triple7) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
((((((((triple7) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple7) -> (rule3 % int4)) triple8) -> (rule7 % int3)) ((triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple9) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple9) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
((((((((triple7) -> (rule3 % int5)) triple8) -> (rule7 % int4)) ((((triple7) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((triple9) -> (rule1 % int5)) triple8) -> (rule7 % int4)) ((((triple7) -> (rule4 % int3))) -> (rule1 % int5))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is blue.
("Charlie" "is" "blue" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule7 % int3)) triple6) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule7 % int3)) triple7) -> (rule6 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((triple7) -> (rule3 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((triple9) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5
((((((((((triple7) -> (rule4 % int5))) -> (rule1 % int4)) triple8) -> (rule7 % int3)) ((((triple7) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is white.
("Charlie" "is" "white" "+")
int5