Charlie is cold. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is rough. Charlie is smart. Charlie is young. Gary is cold. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Gary is smart. Gary is young. Harry is quiet. Harry is smart. Young, smart people are rough. All smart people are nice. If Harry is nice and Harry is young then Harry is smart. Rough, nice people are young. All green, smart people are nice. Young, nice people are quiet. If someone is green and smart then they are rough. Nice, smart people are green.
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is smart.
("Harry" "is" "smart" "+")
Young, smart people are rough.
((("someone" "is" "young" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
All smart people are nice.
((("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
If Harry is nice and Harry is young then Harry is smart.
((("Harry" "is" "nice" "+") ("Harry" "is" "young" "+")) -> ("Harry" "is" "smart" "+"))
Rough, nice people are young.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
All green, smart people are nice.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Young, nice people are quiet.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
If someone is green and smart then they are rough.
((("someone" "is" "green" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "rough" "+"))
Nice, smart people are green.
((("someone" "is" "nice" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "green" "+"))
Gary is nice.
True
1
proof
[(triple10 OR ((triple13) -> rule2) OR ((triple9 triple13) -> rule5))]
("Gary" "is" "nice" "+")
triple10
((triple13) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9 triple13) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is not rough.
False
1
inv-proof
[(triple12 OR ((triple14 triple13) -> rule1) OR ((triple9 triple13) -> rule7) OR ((((triple10 triple13) -> rule8) triple13) -> rule7) OR ((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7))]
("Gary" "is" "rough" "-")
triple12
((triple14 triple13) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple9 triple13) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple10 triple13) -> (rule8 % int2)) triple13) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple13) -> (rule2 % int3)) triple13) -> (rule8 % int2)) triple13) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Harry is nice.
True
2
proof
[(((triple16) -> rule2))]
("Harry" "is" "nice" "+")
((triple16) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
2
inv-proof
[(((triple16) -> rule2))]
("Harry" "is" "nice" "-")
((triple16) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
True
4
proof
[(((((triple16) -> rule2) triple16) -> rule8))]
("Harry" "is" "green" "+")
((((triple16) -> (rule2 % int2)) triple16) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is not green.
False
4
inv-proof
[(((((triple16) -> rule2) triple16) -> rule8))]
("Harry" "is" "green" "-")
((((triple16) -> (rule2 % int2)) triple16) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
True
6
proof
[(((((((triple16) -> rule2) triple16) -> rule8) triple16) -> rule7))]
("Harry" "is" "rough" "+")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule8 % int2)) triple16) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is not rough.
False
6
inv-proof
[(((((((triple16) -> rule2) triple16) -> rule8) triple16) -> rule7))]
("Harry" "is" "rough" "-")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule8 % int2)) triple16) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
@0: Charlie is cold.[(triple1)] Charlie is green.[(triple2 OR ((triple3 triple6) -> rule8) OR ((((triple6) -> rule2) triple6) -> rule8))] Charlie is nice.[(triple3 OR ((triple6) -> rule2) OR ((triple2 triple6) -> rule5))] Charlie is quiet.[(triple4 OR ((triple7 triple3) -> rule6) OR ((triple7 ((triple6) -> rule2)) -> rule6) OR ((triple7 ((triple2 triple6) -> rule5)) -> rule6) OR ((((triple5 triple3) -> rule4) triple3) -> rule6) OR ((((triple5 triple3) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple5 triple3) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((triple5 ((triple6) -> rule2)) -> rule4) triple3) -> rule6) OR ((((triple5 ((triple2 triple6) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((triple2 triple6) -> rule7) triple3) -> rule4) triple3) -> rule6) OR ((((triple5 ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple5 ((triple6) -> rule2)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((triple5 ((triple2 triple6) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((triple5 ((triple2 triple6) -> rule5)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((triple2 triple6) -> rule7) triple3) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((triple2 triple6) -> rule7) triple3) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple6) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((triple2 triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) triple3) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) triple3) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) triple3) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) triple3) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple6) -> rule2)) -> rule6) OR ((((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) ((triple2 triple6) -> rule5)) -> rule6))] Charlie is rough.[(triple5 OR ((triple2 triple6) -> rule7) OR ((triple7 triple6) -> rule1) OR ((((triple3 triple6) -> rule8) triple6) -> rule7) OR ((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7))] Charlie is smart.[(triple6)] Charlie is young.[(triple7 OR ((triple5 triple3) -> rule4) OR ((triple5 ((triple6) -> rule2)) -> rule4) OR ((triple5 ((triple2 triple6) -> rule5)) -> rule4) OR ((((triple2 triple6) -> rule7) triple3) -> rule4) OR ((((triple2 triple6) -> rule7) ((triple6) -> rule2)) -> rule4) OR ((((triple2 triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) OR ((((((triple3 triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) OR ((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) OR ((((((triple3 triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4) OR ((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) triple3) -> rule4) OR ((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple6) -> rule2)) -> rule4) OR ((((((((triple6) -> rule2) triple6) -> rule8) triple6) -> rule7) ((triple2 triple6) -> rule5)) -> rule4))] Gary is cold.[(triple8)] Gary is green.[(triple9 OR ((triple10 triple13) -> rule8) OR ((((triple13) -> rule2) triple13) -> rule8))] Gary is nice.[(triple10 OR ((triple13) -> rule2) OR ((triple9 triple13) -> rule5))] Gary is quiet.[(triple11 OR ((triple14 triple10) -> rule6) OR ((triple14 ((triple13) -> rule2)) -> rule6) OR ((triple14 ((triple9 triple13) -> rule5)) -> rule6) OR ((((triple12 triple10) -> rule4) triple10) -> rule6) OR ((((triple12 triple10) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple12 triple10) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) triple10) -> rule6) OR ((((triple12 ((triple9 triple13) -> rule5)) -> rule4) triple10) -> rule6) OR ((((((triple9 triple13) -> rule7) triple10) -> rule4) triple10) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple12 ((triple13) -> rule2)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((triple12 ((triple9 triple13) -> rule5)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((triple12 ((triple9 triple13) -> rule5)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((triple9 triple13) -> rule7) triple10) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((triple9 triple13) -> rule7) triple10) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple13) -> rule2)) -> rule4) triple10) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) triple10) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((triple9 triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) triple10) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) triple10) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) triple10) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) triple10) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) triple10) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) triple10) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple13) -> rule2)) -> rule6) OR ((((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) ((triple9 triple13) -> rule5)) -> rule6))] Gary is rough.[(triple12 OR ((triple14 triple13) -> rule1) OR ((triple9 triple13) -> rule7) OR ((((triple10 triple13) -> rule8) triple13) -> rule7) OR ((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7))] Gary is smart.[(triple13)] Gary is young.[(triple14 OR ((triple12 triple10) -> rule4) OR ((triple12 ((triple13) -> rule2)) -> rule4) OR ((triple12 ((triple9 triple13) -> rule5)) -> rule4) OR ((((triple9 triple13) -> rule7) triple10) -> rule4) OR ((((triple9 triple13) -> rule7) ((triple13) -> rule2)) -> rule4) OR ((((triple9 triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) OR ((((((triple10 triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) OR ((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) OR ((((((triple10 triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4) OR ((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) triple10) -> rule4) OR ((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple13) -> rule2)) -> rule4) OR ((((((((triple13) -> rule2) triple13) -> rule8) triple13) -> rule7) ((triple9 triple13) -> rule5)) -> rule4))] Harry is quiet.[(triple15 OR ((((((((((triple16) -> rule2) triple16) -> rule8) triple16) -> rule7) ((triple16) -> rule2)) -> rule4) ((triple16) -> rule2)) -> rule6))] Harry is smart.[(triple16)] @1: Harry is nice.[(((triple16) -> rule2))] @2: Harry is green.[(((((triple16) -> rule2) triple16) -> rule8))] @3: Harry is rough.[(((((((triple16) -> rule2) triple16) -> rule8) triple16) -> rule7))] @4: Harry is young.[(((((((((triple16) -> rule2) triple16) -> rule8) triple16) -> rule7) ((triple16) -> rule2)) -> rule4))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple2
((triple3 triple6) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((((triple6) -> (rule2 % int2)) triple6) -> (rule8 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
((triple6) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple2 triple6) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
((triple7 triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple7 ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple7 ((triple2 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple5 triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple5 triple3) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple5 triple3) -> (rule4 % int3)) ((triple2 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((((triple5 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple5 ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple2 triple6) -> (rule7 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple5 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple5 ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple5 ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple5 ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((((triple2 triple6) -> (rule7 % int4)) triple3) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2 triple6) -> (rule7 % int4)) triple3) -> (rule4 % int3)) ((triple2 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2 triple6) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2 triple6) -> (rule7 % int4)) ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2 triple6) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2 triple6) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2 triple6) -> (rule7 % int4)) ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((triple2 triple6) -> (rule7 % int4)) ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((((((triple3 triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple3 triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4)) triple3) -> (rule4 % int3)) ((triple6) -> (rule2 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple3 triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4)) triple3) -> (rule4 % int3)) ((triple2 triple6) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple3 triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple3 triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4)) ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple3 triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple3 triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4)) ((triple6) -> (rule2 % int3))) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple3 triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4)) ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((triple3 triple6) -> (rule8 % int5)) triple6) -> (rule7 % int4)) ((triple2 triple6) -> (rule5 % int3))) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int3))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is green.
("Charlie" "is" "green" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) triple3) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) triple3) -> (rule4 % int2)) ((triple6) -> (rule2 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) triple3) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) ((triple6) -> (rule2 % int5))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) ((triple2 triple6) -> (rule5 % int5))) -> (rule4 % int2)) triple3) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) ((triple6) -> (rule2 % int5))) -> (rule4 % int2)) ((triple6) -> (rule2 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) ((triple6) -> (rule2 % int5))) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) ((triple2 triple6) -> (rule5 % int5))) -> (rule4 % int2)) ((triple6) -> (rule2 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
((((((((((triple6) -> (rule2 % int5)) triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) ((triple2 triple6) -> (rule5 % int5))) -> (rule4 % int2)) ((triple2 triple6) -> (rule5 % int5))) -> (rule6 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
((triple2 triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((triple7 triple6) -> (rule1 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
((((triple3 triple6) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
((((((triple6) -> (rule2 % int3)) triple6) -> (rule8 % int2)) triple6) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
triple6
Charlie is young.
("Charlie" "is" "young" "+")
triple7
((triple5 triple3) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple5 ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((triple5 ((triple2 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple2 triple6) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
((((triple2 triple6) -> (rule7 % int3)) ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((triple2 triple6) -> (rule7 % int3)) ((triple2 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
((((((triple3 triple6) -> (rule8 % int3)) triple6) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
((((((triple3 triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) ((triple6) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((triple3 triple6) -> (rule8 % int4)) triple6) -> (rule7 % int3)) ((triple2 triple6) -> (rule5 % int2))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
int4
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule8 % int3)) triple6) -> (rule7 % int2)) triple3) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule8 % int3)) triple6) -> (rule7 % int2)) ((triple6) -> (rule2 % int4))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((((triple6) -> (rule2 % int4)) triple6) -> (rule8 % int3)) triple6) -> (rule7 % int2)) ((triple2 triple6) -> (rule5 % int4))) -> (rule4 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Gary is cold.
("Gary" "is" "cold" "+")
triple8
Gary is green.
("Gary" "is" "green" "+")
triple9
((triple10 triple13) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple13) -> (rule2 % int2)) triple13) -> (rule8 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
triple10
((triple13) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9 triple13) -> (rule5 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
triple11
((triple14 triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple14 ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple14 ((triple9 triple13) -> (rule5 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple12 triple10) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple12 triple10) -> (rule4 % int3)) ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple12 triple10) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((triple12 ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple12 ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple9 triple13) -> (rule7 % int3)) triple10) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple12 ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) ((triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple12 ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple12 ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) ((triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple12 ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple9 triple13) -> (rule7 % int4)) triple10) -> (rule4 % int3)) ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 triple13) -> (rule7 % int4)) triple10) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 triple13) -> (rule7 % int4)) ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 triple13) -> (rule7 % int4)) ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 triple13) -> (rule7 % int4)) ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) ((triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 triple13) -> (rule7 % int4)) ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 triple13) -> (rule7 % int4)) ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) ((triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple9 triple13) -> (rule7 % int4)) ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple10 triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) triple10) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple10 triple13) -> (rule8 % int5)) triple13) -> (rule7 % int4)) triple10) -> (rule4 % int3)) ((triple13) -> (rule2 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple10 triple13) -> (rule8 % int5)) triple13) -> (rule7 % int4)) triple10) -> (rule4 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple10 triple13) -> (rule8 % int5)) triple13) -> (rule7 % int4)) ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple10 triple13) -> (rule8 % int5)) triple13) -> (rule7 % int4)) ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple10 triple13) -> (rule8 % int5)) triple13) -> (rule7 % int4)) ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) ((triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple10 triple13) -> (rule8 % int5)) triple13) -> (rule7 % int4)) ((triple13) -> (rule2 % int3))) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple10 triple13) -> (rule8 % int5)) triple13) -> (rule7 % int4)) ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) ((triple13) -> (rule2 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple10 triple13) -> (rule8 % int5)) triple13) -> (rule7 % int4)) ((triple9 triple13) -> (rule5 % int3))) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int3))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) triple10) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) triple10) -> (rule4 % int2)) ((triple13) -> (rule2 % int5))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) triple10) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int5))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) ((triple13) -> (rule2 % int5))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) ((triple9 triple13) -> (rule5 % int5))) -> (rule4 % int2)) triple10) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) ((triple13) -> (rule2 % int5))) -> (rule4 % int2)) ((triple13) -> (rule2 % int5))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) ((triple13) -> (rule2 % int5))) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int5))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) ((triple9 triple13) -> (rule5 % int5))) -> (rule4 % int2)) ((triple13) -> (rule2 % int5))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((((((triple13) -> (rule2 % int5)) triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) ((triple9 triple13) -> (rule5 % int5))) -> (rule4 % int2)) ((triple9 triple13) -> (rule5 % int5))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
Gary is rough.
("Gary" "is" "rough" "+")
triple12
((triple14 triple13) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple9 triple13) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((((triple10 triple13) -> (rule8 % int2)) triple13) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple13) -> (rule2 % int3)) triple13) -> (rule8 % int2)) triple13) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is smart.
("Gary" "is" "smart" "+")
triple13
Gary is young.
("Gary" "is" "young" "+")
triple14
((triple12 triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple12 ((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple12 ((triple9 triple13) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple9 triple13) -> (rule7 % int2)) triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple9 triple13) -> (rule7 % int3)) ((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple9 triple13) -> (rule7 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple10 triple13) -> (rule8 % int3)) triple13) -> (rule7 % int2)) triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple10 triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) ((triple13) -> (rule2 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple10 triple13) -> (rule8 % int4)) triple13) -> (rule7 % int3)) ((triple9 triple13) -> (rule5 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((((triple13) -> (rule2 % int4)) triple13) -> (rule8 % int3)) triple13) -> (rule7 % int2)) triple10) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple13) -> (rule2 % int4)) triple13) -> (rule8 % int3)) triple13) -> (rule7 % int2)) ((triple13) -> (rule2 % int4))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((((triple13) -> (rule2 % int4)) triple13) -> (rule8 % int3)) triple13) -> (rule7 % int2)) ((triple9 triple13) -> (rule5 % int4))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
triple15
((((((((((triple16) -> (rule2 % int5)) triple16) -> (rule8 % int4)) triple16) -> (rule7 % int3)) ((triple16) -> (rule2 % int5))) -> (rule4 % int2)) ((triple16) -> (rule2 % int5))) -> (rule6 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Harry is nice.
("Harry" "is" "nice" "+")
int5
Harry is smart.
("Harry" "is" "smart" "+")
triple16
Harry is nice.
("Harry" "is" "nice" "+")
((triple16) -> (rule2 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((((triple16) -> (rule2 % int2)) triple16) -> (rule8 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((((((triple16) -> (rule2 % int3)) triple16) -> (rule8 % int2)) triple16) -> (rule7 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
((((((((triple16) -> (rule2 % int4)) triple16) -> (rule8 % int3)) triple16) -> (rule7 % int2)) ((triple16) -> (rule2 % int4))) -> (rule4 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4