Bob is kind. Bob is nice. Bob is quiet. Bob is smart. Charlie is kind. Fiona is kind. Fiona is smart. Gary is furry. Gary is quiet. Gary is round. All kind, round people are smart. Quiet people are nice. Quiet, nice people are kind. Nice people are round. If someone is quiet then they are kind. Furry, quiet people are round. Furry people are quiet. Kind people are quiet.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
All kind, round people are smart.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "smart" "+"))
Quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
Quiet, nice people are kind.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Nice people are round.
((("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is quiet then they are kind.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "kind" "+"))
Furry, quiet people are round.
((("someone" "is" "furry" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "round" "+"))
Furry people are quiet.
((("someone" "is" "furry" "+")) -> ("someone" "is" "quiet" "+"))
Kind people are quiet.
((("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
Gary is quiet.
True
1
proof
[(triple9 OR ((triple8) -> rule7))]
("Gary" "is" "quiet" "+")
triple9
((triple8) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Bob is not kind.
False
1
inv-proof
[(triple1 OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple3) -> rule2)) -> rule3))]
("Bob" "is" "kind" "-")
triple1
((triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Gary is nice.
True
2
proof
[(((triple9) -> rule2) OR ((((triple8) -> rule7)) -> rule2))]
("Gary" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Bob is not round.
False
2
inv-proof
[(((triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule4) OR ((((((triple1) -> rule8)) -> rule2)) -> rule4))]
("Bob" "is" "round" "-")
((triple2) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Charlie is nice.
True
3
proof
[(((((triple5) -> rule8)) -> rule2))]
("Charlie" "is" "nice" "+")
((((triple5) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Fiona is not nice.
False
3
inv-proof
[(((((triple6) -> rule8)) -> rule2))]
("Fiona" "is" "nice" "-")
((((triple6) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Fiona is round.
True
4
proof
[(((((((triple6) -> rule8)) -> rule2)) -> rule4))]
("Fiona" "is" "round" "+")
((((((triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not round.
False
4
inv-proof
[(((((((triple6) -> rule8)) -> rule2)) -> rule4))]
("Fiona" "is" "round" "-")
((((((triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Fiona is not furry.
Unknown
inv-random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "-")
Fiona is rough.
Unknown
random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
Bob is not furry.
Unknown
inv-random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Bob is kind.[(triple1 OR ((triple3) -> rule5) OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple3) -> rule2)) -> rule3))] Bob is nice.[(triple2 OR ((triple3) -> rule2) OR ((((triple1) -> rule8)) -> rule2))] Bob is quiet.[(triple3 OR ((triple1) -> rule8))] Bob is smart.[(triple4 OR ((triple1 ((triple2) -> rule4)) -> rule1) OR ((((triple3) -> rule5) ((triple2) -> rule4)) -> rule1) OR ((((triple3 triple2) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((triple1 ((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((triple3) -> rule5) ((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((triple3 triple2) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule3) ((triple2) -> rule4)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule3) ((((triple3) -> rule2)) -> rule4)) -> rule1) OR ((triple1 ((((((triple1) -> rule8)) -> rule2)) -> rule4)) -> rule1) OR ((((triple3) -> rule5) ((((((triple1) -> rule8)) -> rule2)) -> rule4)) -> rule1) OR ((((triple3 triple2) -> rule3) ((((((triple1) -> rule8)) -> rule2)) -> rule4)) -> rule1) OR ((((triple3 ((triple3) -> rule2)) -> rule3) ((((((triple1) -> rule8)) -> rule2)) -> rule4)) -> rule1))] Charlie is kind.[(triple5)] Fiona is kind.[(triple6)] Fiona is smart.[(triple7 OR ((triple6 ((((((triple6) -> rule8)) -> rule2)) -> rule4)) -> rule1))] Gary is furry.[(triple8)] Gary is quiet.[(triple9 OR ((triple8) -> rule7))] Gary is round.[(triple10 OR ((triple8 triple9) -> rule6) OR ((((triple9) -> rule2)) -> rule4) OR ((triple8 ((triple8) -> rule7)) -> rule6) OR ((((((triple8) -> rule7)) -> rule2)) -> rule4))] @1: Bob is round.[(((triple2) -> rule4) OR ((((triple3) -> rule2)) -> rule4) OR ((((((triple1) -> rule8)) -> rule2)) -> rule4))] Charlie is quiet.[(((triple5) -> rule8))] Fiona is quiet.[(((triple6) -> rule8))] Gary is kind.[(((triple9) -> rule5) OR ((((triple8) -> rule7)) -> rule5) OR ((triple9 ((triple9) -> rule2)) -> rule3) OR ((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) OR ((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) OR ((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3))] Gary is nice.[(((triple9) -> rule2) OR ((((triple8) -> rule7)) -> rule2))] @2: Charlie is nice.[(((((triple5) -> rule8)) -> rule2))] Fiona is nice.[(((((triple6) -> rule8)) -> rule2))] Gary is smart.[(((((triple9) -> rule5) triple10) -> rule1) OR ((((triple9) -> rule5) ((triple8 triple9) -> rule6)) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) triple10) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) triple10) -> rule1) OR ((((triple9) -> rule5) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((triple9) -> rule5) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) ((triple8 triple9) -> rule6)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) ((triple8 triple9) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) triple10) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) ((triple8 triple9) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) triple10) -> rule1) OR ((((triple9) -> rule5) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) ((triple8 triple9) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) triple10) -> rule1) OR ((((((triple8) -> rule7)) -> rule5) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((triple9) -> rule2)) -> rule3) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) ((triple8 triple9) -> rule6)) -> rule1) OR ((((triple9 ((((triple8) -> rule7)) -> rule2)) -> rule3) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((triple9) -> rule2)) -> rule3) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) ((((triple9) -> rule2)) -> rule4)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) ((triple8 ((triple8) -> rule7)) -> rule6)) -> rule1) OR ((((((triple8) -> rule7) ((((triple8) -> rule7)) -> rule2)) -> rule3) ((((((triple8) -> rule7)) -> rule2)) -> rule4)) -> rule1))] @3: Charlie is round.[(((((((triple5) -> rule8)) -> rule2)) -> rule4))] Fiona is round.[(((((((triple6) -> rule8)) -> rule2)) -> rule4))] @4: Charlie is smart.[(((triple5 ((((((triple5) -> rule8)) -> rule2)) -> rule4)) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
((triple3) -> (rule5 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 triple2) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple3 ((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
triple2
((triple3) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple1) -> (rule8 % int2))) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple3
((triple1) -> (rule8 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple4
((triple1 ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple3) -> (rule5 % int3)) ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple3 triple2) -> (rule3 % int3)) ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((triple1 ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple3) -> (rule5 % int4)) ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 triple2) -> (rule3 % int4)) ((((triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((triple3 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((triple2) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple3 ((triple3) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple3) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((triple1 ((((((triple1) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
((((triple3) -> (rule5 % int5)) ((((((triple1) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 triple2) -> (rule3 % int5)) ((((((triple1) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
int5
((((triple3 ((triple3) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple1) -> (rule8 % int3))) -> (rule2 % int5))) -> (rule4 % int2))) -> (rule1 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Fiona is kind.
("Fiona" "is" "kind" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
((triple6 ((((((triple6) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
((triple8) -> (rule7 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple10
((triple8 triple9) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((((triple9) -> (rule2 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((triple8 ((triple8) -> (rule7 % int2))) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple2) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((((triple3) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple1) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple5) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
((triple6) -> (rule8 % int1))
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple9) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((triple9 ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple8) -> (rule7 % int3)) ((triple9) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple9 ((((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple8) -> (rule7 % int3)) ((((triple8) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((triple9) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple8) -> (rule7 % int2))) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple5) -> (rule8 % int2))) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple6) -> (rule8 % int2))) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int2
Gary is smart.
("Gary" "is" "smart" "+")
((((triple9) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple9) -> (rule5 % int3)) ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple8) -> (rule7 % int3))) -> (rule5 % int2)) triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple9 ((triple9) -> (rule2 % int3))) -> (rule3 % int2)) triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((triple9) -> (rule5 % int4)) ((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((triple9) -> (rule5 % int4)) ((triple8 ((triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple9 ((triple9) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((((triple8) -> (rule7 % int4)) ((triple9) -> (rule2 % int3))) -> (rule3 % int2)) triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple8) -> (rule7 % int5))) -> (rule5 % int4)) ((((triple9) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int4))) -> (rule5 % int3)) ((triple8 ((triple8) -> (rule7 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple9 ((triple9) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
((((triple9 ((triple9) -> (rule2 % int5))) -> (rule3 % int4)) ((triple8 ((triple8) -> (rule7 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((((triple8) -> (rule7 % int5)) ((triple9) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int5)) ((triple9) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int5)) ((triple9) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8 ((triple8) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple9 ((((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple9) -> (rule5 % int5)) ((((((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is kind.
("Gary" "is" "kind" "+")
int5
((((triple9 ((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int4)) ((((triple8) -> (rule7 % int4))) -> (rule2 % int3))) -> (rule3 % int2)) triple10) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple8) -> (rule7 % int5))) -> (rule5 % int4)) ((((((triple8) -> (rule7 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple9 ((triple9) -> (rule2 % int5))) -> (rule3 % int4)) ((((((triple8) -> (rule7 % int3))) -> (rule2 % int5))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
int5
((((triple9 ((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple9 ((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8 ((triple8) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int5)) ((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8 triple9) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((triple9 ((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int5)) ((triple9) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int5)) ((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple9) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int5)) ((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((triple8 ((triple8) -> (rule7 % int5))) -> (rule6 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple8) -> (rule7 % int5)) ((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule3 % int3)) ((((((triple8) -> (rule7 % int5))) -> (rule2 % int4))) -> (rule4 % int2))) -> (rule1 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Charlie is round.
("Charlie" "is" "round" "+")
((((((triple5) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
((((((triple6) -> (rule8 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is quiet.
("Fiona" "is" "quiet" "+")
int3
Charlie is smart.
("Charlie" "is" "smart" "+")
((triple5 ((((((triple5) -> (rule8 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule1 % int1))
Charlie is smart.
("Charlie" "is" "smart" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int4