Bob is kind. Bob is nice. Bob is quiet. Bob is red. Bob is smart. Erin is white. Fiona is kind. Fiona is quiet. Fiona is red. Fiona is white. Gary is kind. Gary is nice. Gary is red. Gary is rough. Gary is smart. Gary is white. Nice, quiet things are red. Red things are smart. All quiet, smart things are nice. If something is quiet and red then it is kind. If Gary is nice and Gary is smart then Gary is red. All rough, white things are quiet. If something is white then it is nice. Nice things are rough.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is white.
("Erin" "is" "white" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
Nice, quiet things are red.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "red" "+"))
Red things are smart.
((("something" "is" "red" "+")) -> ("something" "is" "smart" "+"))
All quiet, smart things are nice.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
If something is quiet and red then it is kind.
((("something" "is" "quiet" "+") ("something" "is" "red" "+")) -> ("something" "is" "kind" "+"))
If Gary is nice and Gary is smart then Gary is red.
((("Gary" "is" "nice" "+") ("Gary" "is" "smart" "+")) -> ("Gary" "is" "red" "+"))
All rough, white things are quiet.
((("something" "is" "rough" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "+"))
If something is white then it is nice.
((("something" "is" "white" "+")) -> ("something" "is" "nice" "+"))
Nice things are rough.
((("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
Bob is red.
True
1
proof
[(triple4 OR ((triple2 triple3) -> rule1) OR ((((triple3 triple5) -> rule3) triple3) -> rule1))]
("Bob" "is" "red" "+")
triple4
((triple2 triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple3 triple5) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Fiona is not red.
False
1
inv-proof
[(triple9 OR ((((triple10) -> rule7) triple8) -> rule1) OR ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule8) triple10) -> rule6)) -> rule1))]
("Fiona" "is" "red" "-")
triple9
((((triple10) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple10) -> (rule7 % int4)) ((((((triple10) -> (rule7 % int4))) -> (rule8 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is nice.
True
2
proof
[(((triple10) -> rule7) OR ((triple8 ((triple9) -> rule2)) -> rule3))]
("Fiona" "is" "nice" "+")
((triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple8 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Bob is not rough.
False
2
inv-proof
[(((triple2) -> rule8) OR ((((triple3 triple5) -> rule3)) -> rule8) OR ((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule8))]
("Bob" "is" "rough" "-")
((triple2) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple3 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 ((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Erin is rough.
True
3
proof
[(((((triple6) -> rule7)) -> rule8))]
("Erin" "is" "rough" "+")
((((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not rough.
False
3
inv-proof
[(((((triple6) -> rule7)) -> rule8))]
("Erin" "is" "rough" "-")
((((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
@0: Bob is kind.[(triple1 OR ((triple3 triple4) -> rule4) OR ((triple3 ((triple2 triple3) -> rule1)) -> rule4) OR ((triple3 ((((triple3 triple5) -> rule3) triple3) -> rule1)) -> rule4))] Bob is nice.[(triple2 OR ((triple3 triple5) -> rule3) OR ((triple3 ((triple4) -> rule2)) -> rule3))] Bob is quiet.[(triple3)] Bob is red.[(triple4 OR ((triple2 triple3) -> rule1) OR ((((triple3 triple5) -> rule3) triple3) -> rule1))] Bob is smart.[(triple5 OR ((triple4) -> rule2) OR ((((triple2 triple3) -> rule1)) -> rule2))] Erin is white.[(triple6)] Fiona is kind.[(triple7 OR ((triple8 triple9) -> rule4) OR ((triple8 ((((triple10) -> rule7) triple8) -> rule1)) -> rule4) OR ((((((((triple10) -> rule7)) -> rule8) triple10) -> rule6) triple9) -> rule4) OR ((((((((triple10) -> rule7)) -> rule8) triple10) -> rule6) ((((triple10) -> rule7) triple8) -> rule1)) -> rule4) OR ((triple8 ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule8) triple10) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple10) -> rule7)) -> rule8) triple10) -> rule6) ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule8) triple10) -> rule6)) -> rule1)) -> rule4))] Fiona is quiet.[(triple8 OR ((((((triple10) -> rule7)) -> rule8) triple10) -> rule6))] Fiona is red.[(triple9 OR ((((triple10) -> rule7) triple8) -> rule1) OR ((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule8) triple10) -> rule6)) -> rule1))] Fiona is white.[(triple10)] Gary is kind.[(triple11 OR ((((triple14 triple16) -> rule6) triple13) -> rule4) OR ((((triple14 triple16) -> rule6) ((triple12 triple15) -> rule5)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) triple13) -> rule4) OR ((((triple14 triple16) -> rule6) ((triple12 ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((triple14 triple16) -> rule6) ((((triple16) -> rule7) triple15) -> rule5)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((triple12 triple15) -> rule5)) -> rule4) OR ((((triple14 triple16) -> rule6) ((((triple16) -> rule7) ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((triple12 ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((((triple16) -> rule7) triple15) -> rule5)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((((triple16) -> rule7) ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) triple13) -> rule4) OR ((((triple14 triple16) -> rule6) ((triple12 ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((triple14 triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) triple15) -> rule5)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((triple12 triple15) -> rule5)) -> rule4) OR ((((triple14 triple16) -> rule6) ((((triple16) -> rule7) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((triple14 triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((triple12 ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) triple15) -> rule5)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((triple12 ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((((triple16) -> rule7) triple15) -> rule5)) -> rule4) OR ((((triple14 triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((((triple16) -> rule7) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((triple12 ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((((triple16) -> rule7) ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) triple15) -> rule5)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((((triple16) -> rule7) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((triple14 triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((triple14 triple16) -> rule6) ((triple12 ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((triple14 triple16) -> rule6) ((((triple16) -> rule7) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((triple12 ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((triple14 triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((((triple16) -> rule7) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((triple12 ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((triple12) -> rule8) triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((((triple16) -> rule7) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4) OR ((((((((triple16) -> rule7)) -> rule8) triple16) -> rule6) ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule4))] Gary is nice.[(triple12 OR ((triple16) -> rule7) OR ((((triple14 triple16) -> rule6) triple15) -> rule3) OR ((((triple14 triple16) -> rule6) ((triple13) -> rule2)) -> rule3))] Gary is red.[(triple13 OR ((triple12 triple15) -> rule5) OR ((triple12 ((triple14 triple16) -> rule6)) -> rule1) OR ((((triple16) -> rule7) triple15) -> rule5) OR ((((triple16) -> rule7) ((triple14 triple16) -> rule6)) -> rule1) OR ((triple12 ((((triple12) -> rule8) triple16) -> rule6)) -> rule1) OR ((((((triple14 triple16) -> rule6) triple15) -> rule3) triple15) -> rule5) OR ((((triple16) -> rule7) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1) OR ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((triple14 triple16) -> rule6)) -> rule1) OR ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1) OR ((triple12 ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1) OR ((((triple16) -> rule7) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1) OR ((((((triple14 triple16) -> rule6) triple15) -> rule3) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1))] Gary is rough.[(triple14 OR ((triple12) -> rule8) OR ((((triple16) -> rule7)) -> rule8))] Gary is smart.[(triple15 OR ((triple13) -> rule2) OR ((((triple12 ((triple14 triple16) -> rule6)) -> rule1)) -> rule2) OR ((((((triple16) -> rule7) ((triple14 triple16) -> rule6)) -> rule1)) -> rule2) OR ((((triple12 ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule2) OR ((((((triple16) -> rule7) ((((triple12) -> rule8) triple16) -> rule6)) -> rule1)) -> rule2) OR ((((triple12 ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule2) OR ((((((triple16) -> rule7) ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6)) -> rule1)) -> rule2))] Gary is white.[(triple16)] @1: Bob is rough.[(((triple2) -> rule8) OR ((((triple3 triple5) -> rule3)) -> rule8) OR ((((triple3 ((triple4) -> rule2)) -> rule3)) -> rule8))] Erin is nice.[(((triple6) -> rule7))] Fiona is nice.[(((triple10) -> rule7) OR ((triple8 ((triple9) -> rule2)) -> rule3))] Fiona is smart.[(((triple9) -> rule2) OR ((((((triple10) -> rule7) triple8) -> rule1)) -> rule2) OR ((((((triple10) -> rule7) ((((((triple10) -> rule7)) -> rule8) triple10) -> rule6)) -> rule1)) -> rule2))] Gary is quiet.[(((triple14 triple16) -> rule6) OR ((((triple12) -> rule8) triple16) -> rule6) OR ((((((triple16) -> rule7)) -> rule8) triple16) -> rule6))] @2: Erin is rough.[(((((triple6) -> rule7)) -> rule8))] Fiona is rough.[(((((triple10) -> rule7)) -> rule8) OR ((((triple8 ((triple9) -> rule2)) -> rule3)) -> rule8))] @3: Erin is quiet.[(((((((triple6) -> rule7)) -> rule8) triple6) -> rule6))] @4: Erin is red.[(((((triple6) -> rule7) ((((((triple6) -> rule7)) -> rule8) triple6) -> rule6)) -> rule1))] @5: Erin is kind.[(((((((((triple6) -> rule7)) -> rule8) triple6) -> rule6) ((((triple6) -> rule7) ((((((triple6) -> rule7)) -> rule8) triple6) -> rule6)) -> rule1)) -> rule4))] Erin is smart.[(((((((triple6) -> rule7) ((((((triple6) -> rule7)) -> rule8) triple6) -> rule6)) -> rule1)) -> rule2))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
((triple3 triple4) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple2 triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((triple3 ((((triple3 triple5) -> (rule3 % int3)) triple3) -> (rule1 % int2))) -> (rule4 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple3 triple5) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple3 ((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple4
((triple2 triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
((((triple3 triple5) -> (rule3 % int2)) triple3) -> (rule1 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
triple5
((triple4) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
((((triple2 triple3) -> (rule1 % int2))) -> (rule2 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Erin is white.
("Erin" "is" "white" "+")
triple6
Fiona is kind.
("Fiona" "is" "kind" "+")
triple7
((triple8 triple9) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((triple8 ((((triple10) -> (rule7 % int3)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((((triple10) -> (rule7 % int4))) -> (rule8 % int3)) triple10) -> (rule6 % int2)) triple9) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((((triple10) -> (rule7 % int5))) -> (rule8 % int4)) triple10) -> (rule6 % int3)) ((((triple10) -> (rule7 % int5)) triple8) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((triple8 ((((triple10) -> (rule7 % int5)) ((((((triple10) -> (rule7 % int5))) -> (rule8 % int4)) triple10) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((((triple10) -> (rule7 % int5))) -> (rule8 % int4)) triple10) -> (rule6 % int3)) ((((triple10) -> (rule7 % int5)) ((((((triple10) -> (rule7 % int5))) -> (rule8 % int4)) triple10) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple8
((((((triple10) -> (rule7 % int3))) -> (rule8 % int2)) triple10) -> (rule6 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
triple9
((((triple10) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple10) -> (rule7 % int4)) ((((((triple10) -> (rule7 % int4))) -> (rule8 % int3)) triple10) -> (rule6 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is white.
("Fiona" "is" "white" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
((((triple14 triple16) -> (rule6 % int2)) triple13) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple14 triple16) -> (rule6 % int3)) ((triple12 triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple12) -> (rule8 % int3)) triple16) -> (rule6 % int2)) triple13) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple14 triple16) -> (rule6 % int3)) ((triple12 ((triple14 triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple14 triple16) -> (rule6 % int4)) ((((triple16) -> (rule7 % int3)) triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((triple12 triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((triple14 triple16) -> (rule6 % int4)) ((((triple16) -> (rule7 % int3)) ((triple14 triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((triple12 ((triple14 triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((((triple16) -> (rule7 % int3)) triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((((triple16) -> (rule7 % int3)) ((triple14 triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule7 % int4))) -> (rule8 % int3)) triple16) -> (rule6 % int2)) triple13) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple14 triple16) -> (rule6 % int4)) ((triple12 ((((triple12) -> (rule8 % int3)) triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple14 triple16) -> (rule6 % int4)) ((((((triple14 triple16) -> (rule6 % int4)) triple15) -> (rule3 % int3)) triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((triple12 triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple14 triple16) -> (rule6 % int5)) ((((triple16) -> (rule7 % int4)) ((((triple12) -> (rule8 % int3)) triple16) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple14 triple16) -> (rule6 % int4)) ((((((triple14 triple16) -> (rule6 % int4)) triple15) -> (rule3 % int3)) ((triple14 triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((triple12 ((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((((((triple14 triple16) -> (rule6 % int4)) triple15) -> (rule3 % int3)) triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((triple12 ((triple14 triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((((triple16) -> (rule7 % int5)) triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple14 triple16) -> (rule6 % int5)) ((((((triple14 triple16) -> (rule6 % int5)) triple15) -> (rule3 % int4)) ((((triple12) -> (rule8 % int3)) triple16) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((((triple16) -> (rule7 % int3)) ((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((((((triple14 triple16) -> (rule6 % int4)) triple15) -> (rule3 % int3)) ((triple14 triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((triple12 ((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((((triple16) -> (rule7 % int5)) ((triple14 triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((((((triple14 triple16) -> (rule6 % int3)) triple15) -> (rule3 % int5)) triple15) -> (rule5 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((((((triple14 triple16) -> (rule6 % int4)) triple15) -> (rule3 % int3)) ((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((((triple16) -> (rule7 % int5)) ((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((((((triple14 triple16) -> (rule6 % int3)) triple15) -> (rule3 % int5)) ((triple14 triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((((((triple14 triple16) -> (rule6 % int3)) triple15) -> (rule3 % int5)) ((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple14 triple16) -> (rule6 % int5)) ((triple12 ((((((triple16) -> (rule7 % int4))) -> (rule8 % int3)) triple16) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple14 triple16) -> (rule6 % int5)) ((((triple16) -> (rule7 % int4)) ((((((triple16) -> (rule7 % int4))) -> (rule8 % int3)) triple16) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((triple12 ((((((triple16) -> (rule7 % int3))) -> (rule8 % int5)) triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple14 triple16) -> (rule6 % int5)) ((((((triple14 triple16) -> (rule6 % int5)) triple15) -> (rule3 % int4)) ((((((triple16) -> (rule7 % int4))) -> (rule8 % int3)) triple16) -> (rule6 % int5))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((((triple16) -> (rule7 % int3)) ((((((triple16) -> (rule7 % int3))) -> (rule8 % int5)) triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((triple12 ((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple12) -> (rule8 % int5)) triple16) -> (rule6 % int4)) ((((((triple14 triple16) -> (rule6 % int4)) triple15) -> (rule3 % int3)) ((((((triple16) -> (rule7 % int3))) -> (rule8 % int5)) triple16) -> (rule6 % int4))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((((triple16) -> (rule7 % int5)) ((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3)) ((((((triple14 triple16) -> (rule6 % int3)) triple15) -> (rule3 % int5)) ((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is nice.
("Gary" "is" "nice" "+")
triple12
((triple16) -> (rule7 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple14 triple16) -> (rule6 % int2)) triple15) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple14 triple16) -> (rule6 % int3)) ((triple13) -> (rule2 % int2))) -> (rule3 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is smart.
("Gary" "is" "smart" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is red.
("Gary" "is" "red" "+")
triple13
((triple12 triple15) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
((triple12 ((triple14 triple16) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple16) -> (rule7 % int2)) triple15) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple16) -> (rule7 % int3)) ((triple14 triple16) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((triple12 ((((triple12) -> (rule8 % int3)) triple16) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple14 triple16) -> (rule6 % int3)) triple15) -> (rule3 % int2)) triple15) -> (rule5 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple16) -> (rule7 % int4)) ((((triple12) -> (rule8 % int3)) triple16) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple14 triple16) -> (rule6 % int3)) triple15) -> (rule3 % int2)) ((triple14 triple16) -> (rule6 % int3))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple14 triple16) -> (rule6 % int4)) triple15) -> (rule3 % int3)) ((((triple12) -> (rule8 % int2)) triple16) -> (rule6 % int4))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((triple12 ((((((triple16) -> (rule7 % int4))) -> (rule8 % int3)) triple16) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple16) -> (rule7 % int4)) ((((((triple16) -> (rule7 % int4))) -> (rule8 % int3)) triple16) -> (rule6 % int2))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple14 triple16) -> (rule6 % int4)) triple15) -> (rule3 % int3)) ((((((triple16) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule6 % int4))) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
triple14
((triple12) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple16) -> (rule7 % int2))) -> (rule8 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
triple15
((triple13) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
((((triple12 ((triple14 triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple16) -> (rule7 % int4)) ((triple14 triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple12 ((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple16) -> (rule7 % int5)) ((((triple12) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple12 ((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple16) -> (rule7 % int5)) ((((((triple16) -> (rule7 % int5))) -> (rule8 % int4)) triple16) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is white.
("Gary" "is" "white" "+")
triple16
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
((((triple3 triple5) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple3 ((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
((triple6) -> (rule7 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple10) -> (rule7 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple8 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is smart.
("Fiona" "is" "smart" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
((triple9) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
((((((triple10) -> (rule7 % int3)) triple8) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple10) -> (rule7 % int5)) ((((((triple10) -> (rule7 % int5))) -> (rule8 % int4)) triple10) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple14 triple16) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple12) -> (rule8 % int2)) triple16) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((((triple16) -> (rule7 % int3))) -> (rule8 % int2)) triple16) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
((((triple6) -> (rule7 % int2))) -> (rule8 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
((((triple10) -> (rule7 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple8 ((triple9) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
int3
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((triple6) -> (rule7 % int3))) -> (rule8 % int2)) triple6) -> (rule6 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((triple6) -> (rule7 % int4)) ((((((triple6) -> (rule7 % int4))) -> (rule8 % int3)) triple6) -> (rule6 % int2))) -> (rule1 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((((((triple6) -> (rule7 % int5))) -> (rule8 % int4)) triple6) -> (rule6 % int3)) ((((triple6) -> (rule7 % int5)) ((((((triple6) -> (rule7 % int5))) -> (rule8 % int4)) triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5
Erin is smart.
("Erin" "is" "smart" "+")
((((((triple6) -> (rule7 % int5)) ((((((triple6) -> (rule7 % int5))) -> (rule8 % int4)) triple6) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
int5