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