Dave is big. Dave is blue. Dave is quiet. Dave is rough. Dave is round. Dave is smart. Dave is white. Fiona is big. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Harry is big. Harry is blue. Harry is rough. If someone is blue then they are white. Smart, rough people are quiet. All blue people are rough. White people are smart. All blue people are round. If someone is big and round then they are blue.
Dave is big.
("Dave" "is" "big" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Dave is white.
("Dave" "is" "white" "+")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is blue then they are white.
((("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
Smart, rough people are quiet.
((("someone" "is" "smart" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
All blue people are rough.
((("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
White people are smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "+"))
All blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is big and round then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
Dave is rough.
True
1
proof
[(triple4 OR ((triple2) -> rule3) OR ((((triple1 triple5) -> rule6)) -> rule3))]
("Dave" "is" "rough" "+")
triple4
((triple2) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple1 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not quiet.
False
1
inv-proof
[(triple3 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple2) -> rule3)) -> rule2) OR ((((triple7) -> rule4) triple4) -> rule2) OR ((((triple7) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((triple6 ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) triple4) -> rule2) OR ((((triple7) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) triple4) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2))]
("Dave" "is" "quiet" "-")
triple3
((triple6 triple4) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple6 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple7) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple6 ((((triple1 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple7) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple1 triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple1 triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((triple1 triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Fiona is blue.
True
3
proof
[(((triple8 triple11) -> rule6))]
("Fiona" "is" "blue" "+")
((triple8 triple11) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Harry is not white.
False
2
inv-proof
[(((triple14) -> rule1))]
("Harry" "is" "white" "-")
((triple14) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is white.
True
4
proof
[(((((triple8 triple11) -> rule6)) -> rule1))]
("Fiona" "is" "white" "+")
((((triple8 triple11) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is not white.
False
4
inv-proof
[(((((triple8 triple11) -> rule6)) -> rule1))]
("Fiona" "is" "white" "-")
((((triple8 triple11) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Harry is quiet.
True
5
proof
[(((((((triple14) -> rule1)) -> rule4) triple15) -> rule2) OR ((((((triple14) -> rule1)) -> rule4) ((triple14) -> rule3)) -> rule2))]
("Harry" "is" "quiet" "+")
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2)) triple15) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) ((triple14) -> (rule3 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
Harry is not quiet.
False
5
inv-proof
[(((((((triple14) -> rule1)) -> rule4) triple15) -> rule2) OR ((((((triple14) -> rule1)) -> rule4) ((triple14) -> rule3)) -> rule2))]
("Harry" "is" "quiet" "-")
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2)) triple15) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) ((triple14) -> (rule3 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple1 triple5) -> rule6))] Dave is quiet.[(triple3 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple2) -> rule3)) -> rule2) OR ((((triple7) -> rule4) triple4) -> rule2) OR ((((triple7) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((triple6 ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) triple4) -> rule2) OR ((((triple7) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((((((triple2) -> rule1)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) triple4) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) ((triple2) -> rule3)) -> rule2) OR ((((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4) ((((triple1 triple5) -> rule6)) -> rule3)) -> rule2))] Dave is rough.[(triple4 OR ((triple2) -> rule3) OR ((((triple1 triple5) -> rule6)) -> rule3))] Dave is round.[(triple5 OR ((triple2) -> rule5))] Dave is smart.[(triple6 OR ((triple7) -> rule4) OR ((((triple2) -> rule1)) -> rule4) OR ((((((triple1 triple5) -> rule6)) -> rule1)) -> rule4))] Dave is white.[(triple7 OR ((triple2) -> rule1) OR ((((triple1 triple5) -> rule6)) -> rule1))] Fiona is big.[(triple8)] Fiona is quiet.[(triple9 OR ((triple12 triple10) -> rule2) OR ((triple12 ((((triple8 triple11) -> rule6)) -> rule3)) -> rule2) OR ((((((((triple8 triple11) -> rule6)) -> rule1)) -> rule4) triple10) -> rule2) OR ((((((((triple8 triple11) -> rule6)) -> rule1)) -> rule4) ((((triple8 triple11) -> rule6)) -> rule3)) -> rule2))] Fiona is rough.[(triple10 OR ((((triple8 triple11) -> rule6)) -> rule3))] Fiona is round.[(triple11)] Fiona is smart.[(triple12 OR ((((((triple8 triple11) -> rule6)) -> rule1)) -> rule4))] Harry is big.[(triple13)] Harry is blue.[(triple14)] Harry is rough.[(triple15 OR ((triple14) -> rule3))] @1: Fiona is blue.[(((triple8 triple11) -> rule6))] Harry is round.[(((triple14) -> rule5))] Harry is white.[(((triple14) -> rule1))] @2: Fiona is white.[(((((triple8 triple11) -> rule6)) -> rule1))] Harry is smart.[(((((triple14) -> rule1)) -> rule4))] @3: Harry is quiet.[(((((((triple14) -> rule1)) -> rule4) triple15) -> rule2) OR ((((((triple14) -> rule1)) -> rule4) ((triple14) -> rule3)) -> rule2))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is blue.
("Dave" "is" "blue" "+")
triple2
((triple1 triple5) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
((triple6 triple4) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
((triple6 ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
((((triple7) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
((((triple7) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
((triple6 ((((triple1 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((((triple2) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple7) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
((((((triple2) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
((((((triple2) -> (rule1 % int5))) -> (rule4 % int4)) ((((triple1 triple5) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is smart.
("Dave" "is" "smart" "+")
int4
Dave is white.
("Dave" "is" "white" "+")
int5
((((((((triple1 triple5) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
((((((((triple1 triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((triple2) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
((((((((triple1 triple5) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple1 triple5) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
int5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
((triple2) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
((((triple1 triple5) -> (rule6 % int2))) -> (rule3 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
triple5
((triple2) -> (rule5 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
triple6
((triple7) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((((triple2) -> (rule1 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
((((((triple1 triple5) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is white.
("Dave" "is" "white" "+")
triple7
((triple2) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
((((triple1 triple5) -> (rule6 % int2))) -> (rule1 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple9
((triple12 triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
((triple12 ((((triple8 triple11) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple8 triple11) -> (rule6 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) triple10) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is blue.
("Fiona" "is" "blue" "+")
int4
((((((((triple8 triple11) -> (rule6 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple8 triple11) -> (rule6 % int5))) -> (rule3 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is blue.
("Fiona" "is" "blue" "+")
int5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
((((triple8 triple11) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple11
Fiona is smart.
("Fiona" "is" "smart" "+")
triple12
((((((triple8 triple11) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
triple13
Harry is blue.
("Harry" "is" "blue" "+")
triple14
Harry is rough.
("Harry" "is" "rough" "+")
triple15
((triple14) -> (rule3 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple8 triple11) -> (rule6 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
((triple14) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
((triple14) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
((((triple8 triple11) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2)) triple15) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) ((triple14) -> (rule3 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
int4