Dave is big. Dave is kind. Dave is quiet. Dave is smart. Fiona is red. Gary is kind. Gary is nice. Gary is red. Gary is smart. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is quiet. Harry is red. Harry is smart. If Harry is red and Harry is quiet then Harry is smart. All green things are quiet. If something is green and smart then it is kind. If something is quiet then it is green. If something is big and quiet then it is smart. If something is red then it is big. All big things are green. If Dave is smart and Dave is red then Dave is kind.
Dave is big.
("Dave" "is" "big" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Harry is red and Harry is quiet then Harry is smart.
((("Harry" "is" "red" "+") ("Harry" "is" "quiet" "+")) -> ("Harry" "is" "smart" "+"))
All green things are quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
If something is green and smart then it is kind.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
If something is quiet then it is green.
((("something" "is" "quiet" "+")) -> ("something" "is" "green" "+"))
If something is big and quiet then it is smart.
((("something" "is" "big" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
If something is red then it is big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All big things are green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
If Dave is smart and Dave is red then Dave is kind.
((("Dave" "is" "smart" "+") ("Dave" "is" "red" "+")) -> ("Dave" "is" "kind" "+"))
Dave is kind.
True
1
proof
[(triple2 OR ((((triple1) -> rule7) triple4) -> rule3) OR ((((triple3) -> rule4) triple4) -> rule3) OR ((((triple1) -> rule7) ((triple1 triple3) -> rule5)) -> rule3) OR ((((triple3) -> rule4) ((triple1 triple3) -> rule5)) -> rule3) OR ((((triple1) -> rule7) ((triple1 ((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple3) -> rule4) ((triple1 ((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule3))]
("Dave" "is" "kind" "+")
triple2
((((triple1) -> (rule7 % int2)) triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple1) -> (rule7 % int4)) ((triple1 ((((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((triple1 ((((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Gary is not kind.
False
1
inv-proof
[(triple6 OR ((((((triple8) -> rule6)) -> rule7) triple9) -> rule3) OR ((((((triple8) -> rule6)) -> rule7) ((((triple8) -> rule6) ((((((triple8) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3))]
("Gary" "is" "kind" "-")
triple6
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple8) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int5)) ((((((triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Fiona is big.
True
2
proof
[(((triple5) -> rule6))]
("Fiona" "is" "big" "+")
((triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple8) -> rule6))]
("Gary" "is" "big" "-")
((triple8) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is green.
True
3
proof
[(((((triple8) -> rule6)) -> rule7))]
("Gary" "is" "green" "+")
((((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Fiona is not green.
False
3
inv-proof
[(((((triple5) -> rule6)) -> rule7))]
("Fiona" "is" "green" "-")
((((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is quiet.
True
4
proof
[(((((((triple5) -> rule6)) -> rule7)) -> rule2))]
("Fiona" "is" "quiet" "+")
((((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Gary is not quiet.
False
4
inv-proof
[(((((((triple8) -> rule6)) -> rule7)) -> rule2))]
("Gary" "is" "quiet" "-")
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Fiona is smart.
True
7
proof
[(((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5))]
("Fiona" "is" "smart" "+")
((((triple5) -> (rule6 % int4)) ((((((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is not smart.
False
7
inv-proof
[(((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5))]
("Fiona" "is" "smart" "-")
((((triple5) -> (rule6 % int4)) ((((((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is kind.
True
11
proof
[(((((((triple5) -> rule6)) -> rule7) ((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3))]
("Fiona" "is" "kind" "+")
((((((triple5) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule6 % int5)) ((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not kind.
False
11
inv-proof
[(((((((triple5) -> rule6)) -> rule7) ((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3))]
("Fiona" "is" "kind" "-")
((((((triple5) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule6 % int5)) ((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5
Fiona is not nice.
Unknown
inv-random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is big.[(triple1)] Dave is kind.[(triple2 OR ((((triple1) -> rule7) triple4) -> rule3) OR ((((triple3) -> rule4) triple4) -> rule3) OR ((((triple1) -> rule7) ((triple1 triple3) -> rule5)) -> rule3) OR ((((triple3) -> rule4) ((triple1 triple3) -> rule5)) -> rule3) OR ((((triple1) -> rule7) ((triple1 ((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple3) -> rule4) ((triple1 ((((triple1) -> rule7)) -> rule2)) -> rule5)) -> rule3))] Dave is quiet.[(triple3 OR ((((triple1) -> rule7)) -> rule2))] Dave is smart.[(triple4 OR ((triple1 triple3) -> rule5) OR ((triple1 ((((triple1) -> rule7)) -> rule2)) -> rule5))] Fiona is red.[(triple5)] Gary is kind.[(triple6 OR ((((((triple8) -> rule6)) -> rule7) triple9) -> rule3) OR ((((((triple8) -> rule6)) -> rule7) ((((triple8) -> rule6) ((((((triple8) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3))] Gary is nice.[(triple7)] Gary is red.[(triple8)] Gary is smart.[(triple9 OR ((((triple8) -> rule6) ((((((triple8) -> rule6)) -> rule7)) -> rule2)) -> rule5))] Harry is big.[(triple10 OR ((triple15) -> rule6))] Harry is green.[(triple11 OR ((triple10) -> rule7) OR ((triple14) -> rule4) OR ((((triple15) -> rule6)) -> rule7))] Harry is kind.[(triple12 OR ((triple11 triple16) -> rule3) OR ((triple11 ((triple10 triple14) -> rule5)) -> rule3) OR ((triple11 ((triple15 triple14) -> rule1)) -> rule3) OR ((((triple10) -> rule7) triple16) -> rule3) OR ((((triple14) -> rule4) triple16) -> rule3) OR ((((triple10) -> rule7) ((triple10 triple14) -> rule5)) -> rule3) OR ((((triple10) -> rule7) ((triple15 triple14) -> rule1)) -> rule3) OR ((((triple14) -> rule4) ((triple10 triple14) -> rule5)) -> rule3) OR ((((triple14) -> rule4) ((triple15 triple14) -> rule1)) -> rule3) OR ((triple11 ((triple10 ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((triple11 ((triple15 ((triple11) -> rule2)) -> rule1)) -> rule3) OR ((triple11 ((((triple15) -> rule6) triple14) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) triple16) -> rule3) OR ((triple11 ((((triple15) -> rule6) ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((((triple10) -> rule7) ((triple10 ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((((triple10) -> rule7) ((triple15 ((triple11) -> rule2)) -> rule1)) -> rule3) OR ((((triple10) -> rule7) ((((triple15) -> rule6) triple14) -> rule5)) -> rule3) OR ((((triple14) -> rule4) ((triple10 ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((((triple14) -> rule4) ((triple15 ((triple11) -> rule2)) -> rule1)) -> rule3) OR ((((triple14) -> rule4) ((((triple15) -> rule6) triple14) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((triple10 triple14) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((triple15 triple14) -> rule1)) -> rule3) OR ((((triple10) -> rule7) ((((triple15) -> rule6) ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((((triple14) -> rule4) ((((triple15) -> rule6) ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((triple10 ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((triple15 ((triple11) -> rule2)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((((triple15) -> rule6) triple14) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((((triple15) -> rule6) ((triple11) -> rule2)) -> rule5)) -> rule3) OR ((triple11 ((triple10 ((((triple10) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((triple11 ((triple15 ((((triple10) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((triple11 ((((triple15) -> rule6) ((((triple10) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple10) -> rule7) ((triple10 ((((triple10) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple10) -> rule7) ((triple15 ((((triple10) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((triple14) -> rule4) ((triple10 ((((triple10) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple14) -> rule4) ((triple15 ((((triple10) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((triple10) -> rule7) ((((triple15) -> rule6) ((((triple10) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple14) -> rule4) ((((triple15) -> rule6) ((((triple10) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((triple10 ((((triple10) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((triple15 ((((triple10) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((((triple15) -> rule6) ((((triple10) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((triple11 ((triple10 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((triple11 ((triple15 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((triple11 ((((triple15) -> rule6) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple10) -> rule7) ((triple10 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple10) -> rule7) ((triple15 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((triple14) -> rule4) ((triple10 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple14) -> rule4) ((triple15 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((triple10) -> rule7) ((((triple15) -> rule6) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((triple14) -> rule4) ((((triple15) -> rule6) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((triple10 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((triple15 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule1)) -> rule3) OR ((((((triple15) -> rule6)) -> rule7) ((((triple15) -> rule6) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3))] Harry is nice.[(triple13)] Harry is quiet.[(triple14 OR ((triple11) -> rule2) OR ((((triple10) -> rule7)) -> rule2) OR ((((((triple15) -> rule6)) -> rule7)) -> rule2))] Harry is red.[(triple15)] Harry is smart.[(triple16 OR ((triple10 triple14) -> rule5) OR ((triple15 triple14) -> rule1) OR ((triple10 ((triple11) -> rule2)) -> rule5) OR ((triple15 ((triple11) -> rule2)) -> rule1) OR ((((triple15) -> rule6) triple14) -> rule5) OR ((((triple15) -> rule6) ((triple11) -> rule2)) -> rule5) OR ((triple10 ((((triple10) -> rule7)) -> rule2)) -> rule5) OR ((triple15 ((((triple10) -> rule7)) -> rule2)) -> rule1) OR ((((triple15) -> rule6) ((((triple10) -> rule7)) -> rule2)) -> rule5) OR ((triple10 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5) OR ((triple15 ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule1) OR ((((triple15) -> rule6) ((((((triple15) -> rule6)) -> rule7)) -> rule2)) -> rule5))] @1: Dave is green.[(((triple1) -> rule7) OR ((triple3) -> rule4))] Fiona is big.[(((triple5) -> rule6))] Gary is big.[(((triple8) -> rule6))] @2: Fiona is green.[(((((triple5) -> rule6)) -> rule7))] Gary is green.[(((((triple8) -> rule6)) -> rule7))] @3: Fiona is quiet.[(((((((triple5) -> rule6)) -> rule7)) -> rule2))] Gary is quiet.[(((((((triple8) -> rule6)) -> rule7)) -> rule2))] @4: Fiona is smart.[(((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5))] @5: Fiona is kind.[(((((((triple5) -> rule6)) -> rule7) ((((triple5) -> rule6) ((((((triple5) -> rule6)) -> rule7)) -> rule2)) -> rule5)) -> rule3))]
Dave is big.
("Dave" "is" "big" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
((((triple1) -> (rule7 % int2)) triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple3) -> (rule4 % int2)) triple4) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple3) -> (rule4 % int3)) ((triple1 triple3) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
((((triple1) -> (rule7 % int4)) ((triple1 ((((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
((((triple3) -> (rule4 % int4)) ((triple1 ((((triple1) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is smart.
("Dave" "is" "smart" "+")
int2
Dave is quiet.
("Dave" "is" "quiet" "+")
int3
Dave is green.
("Dave" "is" "green" "+")
int4
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
((((triple1) -> (rule7 % int2))) -> (rule2 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is smart.
("Dave" "is" "smart" "+")
triple4
((triple1 triple3) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
((triple1 ((((triple1) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Dave is smart.
("Dave" "is" "smart" "+")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Gary is kind.
("Gary" "is" "kind" "+")
triple6
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
((((((triple8) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple8) -> (rule6 % int5)) ((((((triple8) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is big.
("Gary" "is" "big" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
((((triple8) -> (rule6 % int4)) ((((((triple8) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is big.
("Gary" "is" "big" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
triple10
((triple15) -> (rule6 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
triple11
((triple10) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((triple14) -> (rule4 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
((((triple15) -> (rule6 % int2))) -> (rule7 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
triple12
((triple11 triple16) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
((triple11 ((triple10 triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((triple11 ((triple15 triple14) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple10) -> (rule7 % int2)) triple16) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple14) -> (rule4 % int2)) triple16) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((triple10) -> (rule7 % int3)) ((triple10 triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple10) -> (rule7 % int3)) ((triple15 triple14) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple14) -> (rule4 % int3)) ((triple10 triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple14) -> (rule4 % int3)) ((triple15 triple14) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple11 ((triple10 ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((triple11 ((triple15 ((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
((triple11 ((((triple15) -> (rule6 % int3)) triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((triple15) -> (rule6 % int3))) -> (rule7 % int2)) triple16) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple11 ((((triple15) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule7 % int4)) ((triple10 ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple10) -> (rule7 % int4)) ((triple15 ((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple10) -> (rule7 % int4)) ((((triple15) -> (rule6 % int3)) triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple14) -> (rule4 % int4)) ((triple10 ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple14) -> (rule4 % int4)) ((triple15 ((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple14) -> (rule4 % int4)) ((((triple15) -> (rule6 % int3)) triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((((triple15) -> (rule6 % int4))) -> (rule7 % int3)) ((triple10 triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple15) -> (rule6 % int4))) -> (rule7 % int3)) ((triple15 triple14) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple10) -> (rule7 % int5)) ((((triple15) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple14) -> (rule4 % int5)) ((((triple15) -> (rule6 % int4)) ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((triple10 ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((triple15 ((triple11) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple15) -> (rule6 % int4))) -> (rule7 % int3)) ((((triple15) -> (rule6 % int4)) triple14) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple15) -> (rule6 % int5)) ((triple11) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((triple11 ((triple10 ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple11 ((triple15 ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((triple11 ((((triple15) -> (rule6 % int5)) ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple10) -> (rule7 % int4)) ((triple10 ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple10) -> (rule7 % int4)) ((triple15 ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple14) -> (rule4 % int4)) ((triple10 ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple14) -> (rule4 % int4)) ((triple15 ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
((((triple10) -> (rule7 % int5)) ((((triple15) -> (rule6 % int4)) ((((triple10) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple14) -> (rule4 % int5)) ((((triple15) -> (rule6 % int4)) ((((triple10) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((triple10 ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((triple15 ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple15) -> (rule6 % int5)) ((((triple10) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((triple11 ((triple10 ((((((triple15) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((triple11 ((triple15 ((((((triple15) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((triple11 ((((triple15) -> (rule6 % int5)) ((((((triple15) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((triple10) -> (rule7 % int5)) ((triple10 ((((((triple15) -> (rule6 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10) -> (rule7 % int5)) ((triple15 ((((((triple15) -> (rule6 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple14) -> (rule4 % int5)) ((triple10 ((((((triple15) -> (rule6 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple14) -> (rule4 % int5)) ((triple15 ((((((triple15) -> (rule6 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple10) -> (rule7 % int5)) ((((triple15) -> (rule6 % int4)) ((((((triple15) -> (rule6 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((triple14) -> (rule4 % int5)) ((((triple15) -> (rule6 % int4)) ((((((triple15) -> (rule6 % int4))) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((triple10 ((((((triple15) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((triple15 ((((((triple15) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((triple15) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple15) -> (rule6 % int5)) ((((((triple15) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
((triple11) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
((((((triple15) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is red.
("Harry" "is" "red" "+")
triple15
Harry is smart.
("Harry" "is" "smart" "+")
triple16
((triple10 triple14) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple15 triple14) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple10 ((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((triple15 ((triple11) -> (rule2 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
((((triple15) -> (rule6 % int2)) triple14) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((triple15) -> (rule6 % int3)) ((triple11) -> (rule2 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((triple10 ((((triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((triple15 ((((triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((triple15) -> (rule6 % int4)) ((((triple10) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple10 ((((((triple15) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((triple15 ((((((triple15) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((triple15) -> (rule6 % int4)) ((((((triple15) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Dave is green.
("Dave" "is" "green" "+")
((triple1) -> (rule7 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
((triple3) -> (rule4 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
((triple5) -> (rule6 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple8) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
((((triple5) -> (rule6 % int2))) -> (rule7 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple8) -> (rule6 % int2))) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((((((triple5) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
((((((triple8) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule2 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Fiona is smart.
("Fiona" "is" "smart" "+")
((((triple5) -> (rule6 % int4)) ((((((triple5) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is green.
("Fiona" "is" "green" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
((((((triple5) -> (rule6 % int5))) -> (rule7 % int4)) ((((triple5) -> (rule6 % int5)) ((((((triple5) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
int5