Anne is big. Anne is not white. Fiona is nice. Fiona is young. Gary is big. Harry is big. Harry is furry. Harry is kind. Harry is rough. Harry is young. All rough things are young. All rough things are furry. All kind, furry things are not white. All young, big things are kind. All young, nice things are kind. If something is kind then it is rough. If something is nice and big then it is rough. Big things are nice. If Anne is not big then Anne is young.
Anne is big.
("Anne" "is" "big" "+")
Anne is not white.
("Anne" "is" "white" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is young.
("Harry" "is" "young" "+")
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
All rough things are furry.
((("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
All kind, furry things are not white.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "white" "-"))
All young, big things are kind.
((("something" "is" "young" "+") ("something" "is" "big" "+")) -> ("something" "is" "kind" "+"))
All young, nice things are kind.
((("something" "is" "young" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it is rough.
((("something" "is" "kind" "+")) -> ("something" "is" "rough" "+"))
If something is nice and big then it is rough.
((("something" "is" "nice" "+") ("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
If Anne is not big then Anne is young.
((("Anne" "is" "big" "~")) -> ("Anne" "is" "young" "+"))
Gary is big.
True
1
proof
[(triple5)]
("Gary" "is" "big" "+")
triple5
Harry is not furry.
False
1
inv-proof
[(triple7 OR ((triple9) -> rule2) OR ((((triple8) -> rule6)) -> rule2) OR ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2) OR ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2) OR ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2))]
("Harry" "is" "furry" "-")
triple7
((triple9) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple10 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple6) -> (rule8 % int3)) triple6) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple10 ((triple6) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Fiona is kind.
True
3
proof
[(((triple4 triple3) -> rule5))]
("Fiona" "is" "kind" "+")
((triple4 triple3) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple6) -> rule8))]
("Harry" "is" "nice" "-")
((triple6) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Fiona is rough.
True
4
proof
[(((((triple4 triple3) -> rule5)) -> rule6))]
("Fiona" "is" "rough" "+")
((((triple4 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Anne is not rough.
False
4
inv-proof
[(((((triple1) -> rule8) triple1) -> rule7))]
("Anne" "is" "rough" "-")
((((triple1) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Gary is furry.
True
5
proof
[(((((((triple5) -> rule8) triple5) -> rule7)) -> rule2))]
("Gary" "is" "furry" "+")
((((((triple5) -> (rule8 % int3)) triple5) -> (rule7 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Anne is not furry.
False
5
inv-proof
[(((((((triple1) -> rule8) triple1) -> rule7)) -> rule2))]
("Anne" "is" "furry" "-")
((((((triple1) -> (rule8 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Fiona is not white.
True
9
proof
[(((((triple4 triple3) -> rule5) ((((((triple4 triple3) -> rule5)) -> rule6)) -> rule2)) -> rule3))]
("Fiona" "is" "white" "-")
((((triple4 triple3) -> (rule5 % int4)) ((((((triple4 triple3) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Anne is not kind.
False
7
inv-proof
[(((((((((triple1) -> rule8) triple1) -> rule7)) -> rule1) triple1) -> rule4) OR ((((((((triple1) -> rule8) triple1) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule5))]
("Anne" "is" "kind" "-")
((((((((triple1) -> (rule8 % int4)) triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule8 % int4)) triple1) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule8 % int4))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Gary is not white.
True
13
proof
[(((((((((((triple5) -> rule8) triple5) -> rule7)) -> rule1) triple5) -> rule4) ((((((triple5) -> rule8) triple5) -> rule7)) -> rule2)) -> rule3) OR ((((((((((triple5) -> rule8) triple5) -> rule7)) -> rule1) ((triple5) -> rule8)) -> rule5) ((((((triple5) -> rule8) triple5) -> rule7)) -> rule2)) -> rule3))]
("Gary" "is" "white" "-")
((((((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule1 % int4)) ((triple5) -> (rule8 % int6))) -> (rule5 % int3)) ((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
Gary is white.
False
13
inv-proof
[(((((((((((triple5) -> rule8) triple5) -> rule7)) -> rule1) triple5) -> rule4) ((((((triple5) -> rule8) triple5) -> rule7)) -> rule2)) -> rule3) OR ((((((((((triple5) -> rule8) triple5) -> rule7)) -> rule1) ((triple5) -> rule8)) -> rule5) ((((((triple5) -> rule8) triple5) -> rule7)) -> rule2)) -> rule3))]
("Gary" "is" "white" "+")
((((((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule1 % int4)) ((triple5) -> (rule8 % int6))) -> (rule5 % int3)) ((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
@0: Anne is big.[(triple1)] Anne is not white.[(triple2 OR ((((((((((triple1) -> rule8) triple1) -> rule7)) -> rule1) triple1) -> rule4) ((((((triple1) -> rule8) triple1) -> rule7)) -> rule2)) -> rule3) OR ((((((((((triple1) -> rule8) triple1) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule5) ((((((triple1) -> rule8) triple1) -> rule7)) -> rule2)) -> rule3))] Fiona is nice.[(triple3)] Fiona is young.[(triple4)] Gary is big.[(triple5)] Harry is big.[(triple6)] Harry is furry.[(triple7 OR ((triple9) -> rule2) OR ((((triple8) -> rule6)) -> rule2) OR ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2) OR ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2) OR ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2))] Harry is kind.[(triple8 OR ((triple10 triple6) -> rule4) OR ((triple10 ((triple6) -> rule8)) -> rule5) OR ((((triple9) -> rule1) triple6) -> rule4) OR ((((triple9) -> rule1) ((triple6) -> rule8)) -> rule5) OR ((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) triple6) -> rule4) OR ((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) ((triple6) -> rule8)) -> rule5))] Harry is rough.[(triple9 OR ((triple8) -> rule6) OR ((((triple10 triple6) -> rule4)) -> rule6) OR ((((triple6) -> rule8) triple6) -> rule7) OR ((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6))] Harry is young.[(triple10 OR ((triple9) -> rule1) OR ((((triple8) -> rule6)) -> rule1) OR ((((((triple6) -> rule8) triple6) -> rule7)) -> rule1))] @1: Anne is nice.[(((triple1) -> rule8))] Fiona is kind.[(((triple4 triple3) -> rule5))] Gary is nice.[(((triple5) -> rule8))] Harry is nice.[(((triple6) -> rule8))] Harry is not white.[(((triple8 triple7) -> rule3) OR ((triple8 ((triple9) -> rule2)) -> rule3) OR ((((triple10 triple6) -> rule4) triple7) -> rule3) OR ((((triple10 triple6) -> rule4) ((triple9) -> rule2)) -> rule3) OR ((triple8 ((((triple8) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 ((triple6) -> rule8)) -> rule5) triple7) -> rule3) OR ((((((triple9) -> rule1) triple6) -> rule4) triple7) -> rule3) OR ((((triple10 triple6) -> rule4) ((((triple8) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 ((triple6) -> rule8)) -> rule5) ((triple9) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) triple6) -> rule4) ((triple9) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) ((triple6) -> rule8)) -> rule5) triple7) -> rule3) OR ((((triple10 ((triple6) -> rule8)) -> rule5) ((((triple8) -> rule6)) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) triple6) -> rule4) ((((triple8) -> rule6)) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) ((triple6) -> rule8)) -> rule5) ((triple9) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) ((triple6) -> rule8)) -> rule5) ((((triple8) -> rule6)) -> rule2)) -> rule3) OR ((triple8 ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((triple8 ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3) OR ((((triple10 triple6) -> rule4) ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 triple6) -> rule4) ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3) OR ((((triple10 ((triple6) -> rule8)) -> rule5) ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((((triple10 ((triple6) -> rule8)) -> rule5) ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) triple6) -> rule4) ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) triple6) -> rule4) ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) ((triple6) -> rule8)) -> rule5) ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) ((triple6) -> rule8)) -> rule5) ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3) OR ((triple8 ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) triple6) -> rule4) triple7) -> rule3) OR ((((triple10 triple6) -> rule4) ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) triple6) -> rule4) ((triple9) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) ((triple6) -> rule8)) -> rule5) triple7) -> rule3) OR ((((triple10 ((triple6) -> rule8)) -> rule5) ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) triple6) -> rule4) ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) triple6) -> rule4) ((((triple8) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) ((triple6) -> rule8)) -> rule5) ((triple9) -> rule2)) -> rule3) OR ((((((triple9) -> rule1) ((triple6) -> rule8)) -> rule5) ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) triple6) -> rule4) ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) triple6) -> rule4) ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) ((triple6) -> rule8)) -> rule5) ((((triple8) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) triple6) -> rule4) ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) ((triple6) -> rule8)) -> rule5) ((((((triple10 triple6) -> rule4)) -> rule6)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) ((triple6) -> rule8)) -> rule5) ((((((triple6) -> rule8) triple6) -> rule7)) -> rule2)) -> rule3) OR ((((((((((triple6) -> rule8) triple6) -> rule7)) -> rule1) ((triple6) -> rule8)) -> rule5) ((((((triple10 ((triple6) -> rule8)) -> rule5)) -> rule6)) -> rule2)) -> rule3))] @2: Anne is rough.[(((((triple1) -> rule8) triple1) -> rule7))] Fiona is rough.[(((((triple4 triple3) -> rule5)) -> rule6))] Gary is rough.[(((((triple5) -> rule8) triple5) -> rule7))] @3: Anne is furry.[(((((((triple1) -> rule8) triple1) -> rule7)) -> rule2))] Anne is young.[(((((((triple1) -> rule8) triple1) -> rule7)) -> rule1))] Fiona is furry.[(((((((triple4 triple3) -> rule5)) -> rule6)) -> rule2))] Gary is furry.[(((((((triple5) -> rule8) triple5) -> rule7)) -> rule2))] Gary is young.[(((((((triple5) -> rule8) triple5) -> rule7)) -> rule1))] @4: Anne is kind.[(((((((((triple1) -> rule8) triple1) -> rule7)) -> rule1) triple1) -> rule4) OR ((((((((triple1) -> rule8) triple1) -> rule7)) -> rule1) ((triple1) -> rule8)) -> rule5))] Fiona is not white.[(((((triple4 triple3) -> rule5) ((((((triple4 triple3) -> rule5)) -> rule6)) -> rule2)) -> rule3))] Gary is kind.[(((((((((triple5) -> rule8) triple5) -> rule7)) -> rule1) triple5) -> rule4) OR ((((((((triple5) -> rule8) triple5) -> rule7)) -> rule1) ((triple5) -> rule8)) -> rule5))] @5: Gary is not white.[(((((((((((triple5) -> rule8) triple5) -> rule7)) -> rule1) triple5) -> rule4) ((((((triple5) -> rule8) triple5) -> rule7)) -> rule2)) -> rule3) OR ((((((((((triple5) -> rule8) triple5) -> rule7)) -> rule1) ((triple5) -> rule8)) -> rule5) ((((((triple5) -> rule8) triple5) -> rule7)) -> rule2)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple2
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule7 % int5))) -> (rule1 % int4)) triple1) -> (rule4 % int3)) ((((((triple1) -> (rule8 % int6)) triple1) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
((((((((((triple1) -> (rule8 % int6)) triple1) -> (rule7 % int5))) -> (rule1 % int4)) ((triple1) -> (rule8 % int6))) -> (rule5 % int3)) ((((((triple1) -> (rule8 % int6)) triple1) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Anne is not white.
("Anne" "is" "white" "-")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
int5
Anne is nice.
("Anne" "is" "nice" "+")
int6
Fiona is nice.
("Fiona" "is" "nice" "+")
triple3
Fiona is young.
("Fiona" "is" "young" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple6
Harry is furry.
("Harry" "is" "furry" "+")
triple7
((triple9) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple10 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((((((triple6) -> (rule8 % int3)) triple6) -> (rule7 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple10 ((triple6) -> (rule8 % int4))) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
triple8
((triple10 triple6) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple10 ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple9) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple6) -> (rule8 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3))) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((((triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3))) -> (rule1 % int2)) ((triple6) -> (rule8 % int4))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
triple9
((triple8) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple10 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple6) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
((((triple10 ((triple6) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
triple10
((triple9) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
((((triple8) -> (rule6 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple6) -> (rule8 % int3)) triple6) -> (rule7 % int2))) -> (rule1 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
((triple1) -> (rule8 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple4 triple3) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
((triple5) -> (rule8 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple6) -> (rule8 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not white.
("Harry" "is" "white" "-")
((triple8 triple7) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
((triple8 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple10 triple6) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
((((triple10 triple6) -> (rule4 % int3)) ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
((triple8 ((((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((triple10 ((triple6) -> (rule8 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
((((((triple9) -> (rule1 % int3)) triple6) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
((((triple10 triple6) -> (rule4 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple10 ((triple6) -> (rule8 % int4))) -> (rule5 % int3)) ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((((triple9) -> (rule1 % int4)) triple6) -> (rule4 % int3)) ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((((triple9) -> (rule1 % int4)) ((triple6) -> (rule8 % int3))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((((triple10 ((triple6) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple9) -> (rule1 % int5)) triple6) -> (rule4 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple9) -> (rule1 % int5)) ((triple6) -> (rule8 % int4))) -> (rule5 % int3)) ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple9) -> (rule1 % int6)) ((triple6) -> (rule8 % int5))) -> (rule5 % int4)) ((((triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((triple8 ((((((triple10 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((triple8 ((((((triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
((((triple10 triple6) -> (rule4 % int4)) ((((((triple10 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
((((triple10 triple6) -> (rule4 % int5)) ((((((triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((triple10 ((triple6) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple10 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple6) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple6) -> (rule8 % int5)) triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple9) -> (rule1 % int5)) triple6) -> (rule4 % int4)) ((((((triple10 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
int5
((((((triple9) -> (rule1 % int6)) triple6) -> (rule4 % int5)) ((((((triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple9) -> (rule1 % int6)) ((triple6) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple10 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((triple9) -> (rule1 % int6)) ((triple6) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple6) -> (rule8 % int5)) triple6) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((triple8 ((((((triple10 ((triple6) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((((((triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4))) -> (rule1 % int3)) triple6) -> (rule4 % int2)) triple7) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 triple6) -> (rule4 % int5)) ((((((triple10 ((triple6) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple6) -> (rule4 % int3)) ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4))) -> (rule1 % int3)) ((triple6) -> (rule8 % int5))) -> (rule5 % int2)) triple7) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((triple10 ((triple6) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple10 ((triple6) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
((((((triple9) -> (rule1 % int6)) triple6) -> (rule4 % int5)) ((((((triple10 ((triple6) -> (rule8 % int4))) -> (rule5 % int5))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is kind.
("Harry" "is" "kind" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple6) -> (rule4 % int3)) ((((triple8) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule8 % int6))) -> (rule5 % int3)) ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((triple9) -> (rule1 % int6)) ((triple6) -> (rule8 % int5))) -> (rule5 % int4)) ((((((triple10 ((triple6) -> (rule8 % int5))) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is young.
("Harry" "is" "young" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple6) -> (rule4 % int3)) ((((((triple10 triple6) -> (rule4 % int3))) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple6) -> (rule4 % int3)) ((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule8 % int6))) -> (rule5 % int3)) ((((triple8) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) triple6) -> (rule4 % int3)) ((((((triple10 ((triple6) -> (rule8 % int6))) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule8 % int6))) -> (rule5 % int3)) ((((((triple10 triple6) -> (rule4 % int3))) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule8 % int6))) -> (rule5 % int3)) ((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
((((((((((triple6) -> (rule8 % int6)) triple6) -> (rule7 % int5))) -> (rule1 % int4)) ((triple6) -> (rule8 % int6))) -> (rule5 % int3)) ((((((triple10 ((triple6) -> (rule8 % int6))) -> (rule5 % int3))) -> (rule6 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Harry is not white.
("Harry" "is" "white" "-")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
int6
Anne is rough.
("Anne" "is" "rough" "+")
((((triple1) -> (rule8 % int2)) triple1) -> (rule7 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple4 triple3) -> (rule5 % int2))) -> (rule6 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
((((triple5) -> (rule8 % int2)) triple5) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((((((triple1) -> (rule8 % int3)) triple1) -> (rule7 % int2))) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((((((triple1) -> (rule8 % int3)) triple1) -> (rule7 % int2))) -> (rule1 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((triple4 triple3) -> (rule5 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
((((((triple5) -> (rule8 % int3)) triple5) -> (rule7 % int2))) -> (rule2 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((((triple5) -> (rule8 % int3)) triple5) -> (rule7 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((((((((triple1) -> (rule8 % int4)) triple1) -> (rule7 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((((((triple1) -> (rule8 % int4)) triple1) -> (rule7 % int3))) -> (rule1 % int2)) ((triple1) -> (rule8 % int4))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Fiona is not white.
("Fiona" "is" "white" "-")
((((triple4 triple3) -> (rule5 % int4)) ((((((triple4 triple3) -> (rule5 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is not white.
("Fiona" "is" "white" "-")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
((((((((triple5) -> (rule8 % int4)) triple5) -> (rule7 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple5) -> (rule8 % int4)) triple5) -> (rule7 % int3))) -> (rule1 % int2)) ((triple5) -> (rule8 % int4))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is not white.
("Gary" "is" "white" "-")
((((((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6
((((((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule1 % int4)) ((triple5) -> (rule8 % int6))) -> (rule5 % int3)) ((((((triple5) -> (rule8 % int6)) triple5) -> (rule7 % int5))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is not white.
("Gary" "is" "white" "-")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
int6