Dave is red. Fiona is red. Gary is red. Gary is white. Harry is green. Harry is red. Harry is round. All red things are green. If something is white and green then it is kind. Red things are rough. If something is rough then it is white. If something is kind then it is round. All green, white things are rough. If something is green then it is red. Furry things are rough. All round, red things are furry.
Dave is red.
("Dave" "is" "red" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is round.
("Harry" "is" "round" "+")
All red things are green.
((("something" "is" "red" "+")) -> ("something" "is" "green" "+"))
If something is white and green then it is kind.
((("something" "is" "white" "+") ("something" "is" "green" "+")) -> ("something" "is" "kind" "+"))
Red things are rough.
((("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is rough then it is white.
((("something" "is" "rough" "+")) -> ("something" "is" "white" "+"))
If something is kind then it is round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
All green, white things are rough.
((("something" "is" "green" "+") ("something" "is" "white" "+")) -> ("something" "is" "rough" "+"))
If something is green then it is red.
((("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
Furry things are rough.
((("something" "is" "furry" "+")) -> ("something" "is" "rough" "+"))
All round, red things are furry.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "is" "furry" "+"))
Gary is white.
True
1
proof
[(triple4 OR ((((triple3) -> rule3)) -> rule4))]
("Gary" "is" "white" "+")
triple4
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not red.
False
1
inv-proof
[(triple3)]
("Gary" "is" "red" "-")
triple3
Fiona is rough.
True
2
proof
[(((triple2) -> rule3))]
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Harry is not rough.
False
2
inv-proof
[(((triple6) -> rule3) OR ((((triple5) -> rule7)) -> rule3) OR ((((triple7 triple6) -> rule9)) -> rule8) OR ((((triple7 ((triple5) -> rule7)) -> rule9)) -> rule8))]
("Harry" "is" "rough" "-")
((triple6) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple7 triple6) -> (rule9 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple7 ((triple5) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Fiona is white.
True
3
proof
[(((((triple2) -> rule3)) -> rule4))]
("Fiona" "is" "white" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Harry is not white.
False
3
inv-proof
[(((((triple6) -> rule3)) -> rule4) OR ((((((triple5) -> rule7)) -> rule3)) -> rule4) OR ((((((triple7 triple6) -> rule9)) -> rule8)) -> rule4) OR ((((((triple7 ((triple5) -> rule7)) -> rule9)) -> rule8)) -> rule4))]
("Harry" "is" "white" "-")
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple7 triple6) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple7 ((triple5) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Dave is kind.
True
6
proof
[(((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule2))]
("Dave" "is" "kind" "+")
((((((triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Gary is not round.
False
5
inv-proof
[(((((triple4 ((triple3) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule1)) -> rule2)) -> rule5))]
("Gary" "is" "round" "-")
((((triple4 ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Fiona is round.
True
7
proof
[(((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule2)) -> rule5))]
("Fiona" "is" "round" "+")
((((((((triple2) -> (rule3 % int5))) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Dave is not round.
False
7
inv-proof
[(((((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule2)) -> rule5))]
("Dave" "is" "round" "-")
((((((((triple1) -> (rule3 % int5))) -> (rule4 % int4)) ((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Dave is furry.
True
9
proof
[(((((((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule2)) -> rule5) triple1) -> rule9))]
("Dave" "is" "furry" "+")
((((((((((triple1) -> (rule3 % int6))) -> (rule4 % int5)) ((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule9 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
int6
Fiona is not furry.
False
9
inv-proof
[(((((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule2)) -> rule5) triple2) -> rule9))]
("Fiona" "is" "furry" "-")
((((((((((triple2) -> (rule3 % int6))) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule9 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6
@0: Dave is red.[(triple1)] Fiona is red.[(triple2)] Gary is red.[(triple3)] Gary is white.[(triple4 OR ((((triple3) -> rule3)) -> rule4))] Harry is green.[(triple5 OR ((triple6) -> rule1))] Harry is red.[(triple6 OR ((triple5) -> rule7))] Harry is round.[(triple7 OR ((((((((triple6) -> rule3)) -> rule4) triple5) -> rule2)) -> rule5) OR ((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule1)) -> rule2)) -> rule5) OR ((((((((((triple5) -> rule7)) -> rule3)) -> rule4) triple5) -> rule2)) -> rule5) OR ((((((((((triple5) -> rule7)) -> rule3)) -> rule4) ((triple6) -> rule1)) -> rule2)) -> rule5))] @1: Dave is green.[(((triple1) -> rule1))] Dave is rough.[(((triple1) -> rule3))] Fiona is green.[(((triple2) -> rule1))] Fiona is rough.[(((triple2) -> rule3))] Gary is green.[(((triple3) -> rule1))] Gary is rough.[(((triple3) -> rule3) OR ((((triple3) -> rule1) triple4) -> rule6) OR ((((((((triple4 ((triple3) -> rule1)) -> rule2)) -> rule5) triple3) -> rule9)) -> rule8))] Harry is furry.[(((triple7 triple6) -> rule9) OR ((triple7 ((triple5) -> rule7)) -> rule9) OR ((((((((((triple6) -> rule3)) -> rule4) triple5) -> rule2)) -> rule5) triple6) -> rule9) OR ((((((((((triple6) -> rule3)) -> rule4) triple5) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule9) OR ((((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule1)) -> rule2)) -> rule5) triple6) -> rule9) OR ((((((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule1)) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule9) OR ((((((((((((triple5) -> rule7)) -> rule3)) -> rule4) triple5) -> rule2)) -> rule5) triple6) -> rule9) OR ((((((((((((triple5) -> rule7)) -> rule3)) -> rule4) triple5) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule9) OR ((((((((((((triple5) -> rule7)) -> rule3)) -> rule4) ((triple6) -> rule1)) -> rule2)) -> rule5) triple6) -> rule9) OR ((((((((((((triple5) -> rule7)) -> rule3)) -> rule4) ((triple6) -> rule1)) -> rule2)) -> rule5) ((triple5) -> rule7)) -> rule9))] Harry is rough.[(((triple6) -> rule3) OR ((((triple5) -> rule7)) -> rule3) OR ((((triple7 triple6) -> rule9)) -> rule8) OR ((((triple7 ((triple5) -> rule7)) -> rule9)) -> rule8))] @2: Dave is white.[(((((triple1) -> rule3)) -> rule4))] Fiona is white.[(((((triple2) -> rule3)) -> rule4))] Gary is kind.[(((triple4 ((triple3) -> rule1)) -> rule2) OR ((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule1)) -> rule2))] Harry is white.[(((((triple6) -> rule3)) -> rule4) OR ((((((triple5) -> rule7)) -> rule3)) -> rule4) OR ((((((triple7 triple6) -> rule9)) -> rule8)) -> rule4) OR ((((((triple7 ((triple5) -> rule7)) -> rule9)) -> rule8)) -> rule4))] @3: Dave is kind.[(((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule2))] Fiona is kind.[(((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule2))] Gary is round.[(((((triple4 ((triple3) -> rule1)) -> rule2)) -> rule5) OR ((((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule1)) -> rule2)) -> rule5))] Harry is kind.[(((((((triple6) -> rule3)) -> rule4) triple5) -> rule2) OR ((((((triple6) -> rule3)) -> rule4) ((triple6) -> rule1)) -> rule2) OR ((((((((triple5) -> rule7)) -> rule3)) -> rule4) triple5) -> rule2) OR ((((((((triple7 triple6) -> rule9)) -> rule8)) -> rule4) triple5) -> rule2) OR ((((((((triple5) -> rule7)) -> rule3)) -> rule4) ((triple6) -> rule1)) -> rule2) OR ((((((((triple7 triple6) -> rule9)) -> rule8)) -> rule4) ((triple6) -> rule1)) -> rule2) OR ((((((((triple7 ((triple5) -> rule7)) -> rule9)) -> rule8)) -> rule4) triple5) -> rule2) OR ((((((((triple7 ((triple5) -> rule7)) -> rule9)) -> rule8)) -> rule4) ((triple6) -> rule1)) -> rule2))] @4: Dave is round.[(((((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule2)) -> rule5))] Fiona is round.[(((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule2)) -> rule5))] Gary is furry.[(((((((triple4 ((triple3) -> rule1)) -> rule2)) -> rule5) triple3) -> rule9) OR ((((((((((triple3) -> rule3)) -> rule4) ((triple3) -> rule1)) -> rule2)) -> rule5) triple3) -> rule9))] @5: Dave is furry.[(((((((((((triple1) -> rule3)) -> rule4) ((triple1) -> rule1)) -> rule2)) -> rule5) triple1) -> rule9))] Fiona is furry.[(((((((((((triple2) -> rule3)) -> rule4) ((triple2) -> rule1)) -> rule2)) -> rule5) triple2) -> rule9))]
Dave is red.
("Dave" "is" "red" "+")
triple1
Fiona is red.
("Fiona" "is" "red" "+")
triple2
Gary is red.
("Gary" "is" "red" "+")
triple3
Gary is white.
("Gary" "is" "white" "+")
triple4
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
triple5
((triple6) -> (rule1 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
triple6
((triple5) -> (rule7 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
triple7
((((((((triple6) -> (rule3 % int4))) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple6) -> (rule3 % int5))) -> (rule4 % int4)) ((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((((triple5) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) triple5) -> (rule2 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((((((triple5) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) ((triple6) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
Dave is green.
("Dave" "is" "green" "+")
((triple1) -> (rule1 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple1) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((triple2) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
((triple2) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple3) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple3) -> (rule1 % int2)) triple4) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((((triple4 ((triple3) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) triple3) -> (rule9 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
Harry is furry.
("Harry" "is" "furry" "+")
((triple7 triple6) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
((triple7 ((triple5) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((((((((triple6) -> (rule3 % int5))) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
((((((((((triple6) -> (rule3 % int6))) -> (rule4 % int5)) triple5) -> (rule2 % int4))) -> (rule5 % int3)) ((triple5) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
int6
((((((((((triple6) -> (rule3 % int6))) -> (rule4 % int5)) ((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
int6
((((((((((triple6) -> (rule3 % int7))) -> (rule4 % int6)) ((triple6) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule5 % int3)) ((triple5) -> (rule7 % int2))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
int6
Harry is rough.
("Harry" "is" "rough" "+")
int7
((((((((((((triple5) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((((((((triple5) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule4 % int4)) triple5) -> (rule2 % int3))) -> (rule5 % int2)) ((triple5) -> (rule7 % int6))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is rough.
("Harry" "is" "rough" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
((((((((((((triple5) -> (rule7 % int7))) -> (rule3 % int6))) -> (rule4 % int5)) ((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple6) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
int6
Harry is red.
("Harry" "is" "red" "+")
int7
((((((((((((triple5) -> (rule7 % int7))) -> (rule3 % int6))) -> (rule4 % int5)) ((triple6) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) ((triple5) -> (rule7 % int7))) -> (rule9 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
int5
Harry is rough.
("Harry" "is" "rough" "+")
int6
Harry is red.
("Harry" "is" "red" "+")
int7
Harry is rough.
("Harry" "is" "rough" "+")
((triple6) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
((((triple5) -> (rule7 % int2))) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((((triple7 triple6) -> (rule9 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
((((triple7 ((triple5) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule8 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
((((triple1) -> (rule3 % int2))) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
((((triple2) -> (rule3 % int2))) -> (rule4 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((triple4 ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple3) -> (rule3 % int4))) -> (rule4 % int3)) ((triple3) -> (rule1 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is white.
("Gary" "is" "white" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Harry is white.
("Harry" "is" "white" "+")
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
((((((triple5) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((((triple7 triple6) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
((((((triple7 ((triple5) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule8 % int2))) -> (rule4 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
Dave is kind.
("Dave" "is" "kind" "+")
((((((triple1) -> (rule3 % int4))) -> (rule4 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple2) -> (rule3 % int4))) -> (rule4 % int3)) ((triple2) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((((triple4 ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((((triple3) -> (rule3 % int5))) -> (rule4 % int4)) ((triple3) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is white.
("Gary" "is" "white" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple6) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
((((((triple6) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
((((((((triple5) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
int4
((((((((triple7 triple6) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
((((((((triple5) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule4 % int3)) ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((((triple7 triple6) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
((((((((triple7 ((triple5) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule8 % int3))) -> (rule4 % int2)) triple5) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is furry.
("Harry" "is" "furry" "+")
int4
Harry is red.
("Harry" "is" "red" "+")
int5
((((((((triple7 ((triple5) -> (rule7 % int6))) -> (rule9 % int5))) -> (rule8 % int4))) -> (rule4 % int3)) ((triple6) -> (rule1 % int2))) -> (rule2 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is rough.
("Harry" "is" "rough" "+")
int4
Harry is furry.
("Harry" "is" "furry" "+")
int5
Harry is red.
("Harry" "is" "red" "+")
int6
Dave is round.
("Dave" "is" "round" "+")
((((((((triple1) -> (rule3 % int5))) -> (rule4 % int4)) ((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is rough.
("Dave" "is" "rough" "+")
int5
Fiona is round.
("Fiona" "is" "round" "+")
((((((((triple2) -> (rule3 % int5))) -> (rule4 % int4)) ((triple2) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is rough.
("Fiona" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
((((((triple4 ((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((((triple3) -> (rule3 % int6))) -> (rule4 % int5)) ((triple3) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple3) -> (rule9 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
int6
Dave is furry.
("Dave" "is" "furry" "+")
((((((((((triple1) -> (rule3 % int6))) -> (rule4 % int5)) ((triple1) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple1) -> (rule9 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
int6
Fiona is furry.
("Fiona" "is" "furry" "+")
((((((((((triple2) -> (rule3 % int6))) -> (rule4 % int5)) ((triple2) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) triple2) -> (rule9 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
int6