Bob is big. Bob is kind. Bob is nice. Bob is rough. Bob is round. Bob is young. Charlie is big. Erin is nice. Gary is big. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Gary is round. All round things are young. All round things are nice. If something is young then it is kind. All big, kind things are nice. All rough things are young. If something is big and nice then it is kind. Big things are rough. Rough, nice things are round.
Bob is big.
("Bob" "is" "big" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is young.
("Bob" "is" "young" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
All round things are young.
((("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
All big, kind things are nice.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
All rough things are young.
((("something" "is" "rough" "+")) -> ("something" "is" "young" "+"))
If something is big and nice then it is kind.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Rough, nice things are round.
((("something" "is" "rough" "+") ("something" "is" "nice" "+")) -> ("something" "is" "round" "+"))
Gary is kind.
True
1
proof
[(triple11 OR ((triple9 triple12) -> rule6) OR ((((triple13) -> rule5)) -> rule3) OR ((((triple14) -> rule1)) -> rule3) OR ((triple9 ((triple14) -> rule2)) -> rule6) OR ((((((triple9) -> rule7)) -> rule5)) -> rule3) OR ((((((triple13 triple12) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule7) triple12) -> rule8)) -> rule1)) -> rule3))]
("Gary" "is" "kind" "+")
triple11
((triple9 triple12) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple13) -> (rule5 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple9 ((triple14) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple9) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple13 triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((((triple9) -> (rule7 % int4)) triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not kind.
False
1
inv-proof
[(triple11 OR ((triple9 triple12) -> rule6) OR ((((triple13) -> rule5)) -> rule3) OR ((((triple14) -> rule1)) -> rule3) OR ((triple9 ((triple14) -> rule2)) -> rule6) OR ((((((triple9) -> rule7)) -> rule5)) -> rule3) OR ((((((triple13 triple12) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule7) triple12) -> rule8)) -> rule1)) -> rule3))]
("Gary" "is" "kind" "-")
triple11
((triple9 triple12) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple13) -> (rule5 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple9 ((triple14) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple9) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple13 triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((((triple9) -> (rule7 % int4)) triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Charlie is rough.
True
2
proof
[(((triple7) -> rule7))]
("Charlie" "is" "rough" "+")
((triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is not young.
False
2
inv-proof
[(((triple13) -> rule5) OR ((triple14) -> rule1) OR ((((triple9) -> rule7)) -> rule5) OR ((((triple13 triple12) -> rule8)) -> rule1) OR ((((triple13 ((triple9 triple11) -> rule4)) -> rule8)) -> rule1) OR ((((((triple9) -> rule7) triple12) -> rule8)) -> rule1) OR ((((((triple9) -> rule7) ((triple9 triple11) -> rule4)) -> rule8)) -> rule1))]
("Gary" "is" "young" "-")
((triple13) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple14) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple13 triple12) -> (rule8 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple13 ((triple9 triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple9) -> (rule7 % int3)) triple12) -> (rule8 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple9) -> (rule7 % int4)) ((triple9 triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Charlie is young.
True
3
proof
[(((((triple7) -> rule7)) -> rule5))]
("Charlie" "is" "young" "+")
((((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not young.
False
3
inv-proof
[(((((triple7) -> rule7)) -> rule5))]
("Charlie" "is" "young" "-")
((((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
True
4
proof
[(((((((triple7) -> rule7)) -> rule5)) -> rule3))]
("Charlie" "is" "kind" "+")
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is not kind.
False
4
inv-proof
[(((((((triple7) -> rule7)) -> rule5)) -> rule3))]
("Charlie" "is" "kind" "-")
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
True
6
proof
[(((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule3)) -> rule4))]
("Charlie" "is" "nice" "+")
((triple7 ((((((triple7) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is not nice.
False
6
inv-proof
[(((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule3)) -> rule4))]
("Charlie" "is" "nice" "-")
((triple7 ((((((triple7) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
True
9
proof
[(((((triple7) -> rule7) ((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule3)) -> rule4)) -> rule8))]
("Charlie" "is" "round" "+")
((((triple7) -> (rule7 % int5)) ((triple7 ((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is not round.
False
9
inv-proof
[(((((triple7) -> rule7) ((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule3)) -> rule4)) -> rule8))]
("Charlie" "is" "round" "-")
((((triple7) -> (rule7 % int5)) ((triple7 ((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Erin is not round.
Unknown
inv-rconc
[@2: Erin is round.[CWA. Example of deepest failure = (rule8 <- rule7 <- FAIL)]]
("Erin" "is" "round" "-")
Erin is young.
Unknown
rconc
[@3: Erin is young.[CWA. Example of deepest failure = (rule1 <- rule8 <- rule7 <- FAIL)]]
("Erin" "is" "young" "+")
Erin is not rough.
Unknown
inv-rconc
[@1: Erin is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Erin" "is" "rough" "-")
Erin is kind.
Unknown
rconc
[@4: Erin is kind.[CWA. Example of deepest failure = (rule3 <- rule1 <- rule8 <- rule7 <- FAIL)]]
("Erin" "is" "kind" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Erin is big.
Unknown
random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "+")
Erin is not furry.
Unknown
inv-random
[@0: Erin is furry.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "furry" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
@0: Bob is big.[(triple1)] Bob is kind.[(triple2 OR ((triple6) -> rule3) OR ((triple1 triple3) -> rule6) OR ((((triple4) -> rule5)) -> rule3) OR ((((triple5) -> rule1)) -> rule3) OR ((triple1 ((triple5) -> rule2)) -> rule6) OR ((((((triple1) -> rule7)) -> rule5)) -> rule3) OR ((((((triple4 triple3) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple1) -> rule7) triple3) -> rule8)) -> rule1)) -> rule3))] Bob is nice.[(triple3 OR ((triple5) -> rule2) OR ((triple1 triple2) -> rule4) OR ((triple1 ((triple6) -> rule3)) -> rule4) OR ((triple1 ((((triple4) -> rule5)) -> rule3)) -> rule4) OR ((triple1 ((((triple5) -> rule1)) -> rule3)) -> rule4) OR ((triple1 ((((((triple1) -> rule7)) -> rule5)) -> rule3)) -> rule4))] Bob is rough.[(triple4 OR ((triple1) -> rule7))] Bob is round.[(triple5 OR ((triple4 triple3) -> rule8) OR ((triple4 ((triple1 triple2) -> rule4)) -> rule8) OR ((((triple1) -> rule7) triple3) -> rule8) OR ((((triple1) -> rule7) ((triple1 triple2) -> rule4)) -> rule8) OR ((triple4 ((triple1 ((triple6) -> rule3)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple1 ((triple6) -> rule3)) -> rule4)) -> rule8) OR ((triple4 ((triple1 ((((triple4) -> rule5)) -> rule3)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple1 ((((triple4) -> rule5)) -> rule3)) -> rule4)) -> rule8) OR ((triple4 ((triple1 ((((((triple1) -> rule7)) -> rule5)) -> rule3)) -> rule4)) -> rule8) OR ((((triple1) -> rule7) ((triple1 ((((((triple1) -> rule7)) -> rule5)) -> rule3)) -> rule4)) -> rule8))] Bob is young.[(triple6 OR ((triple4) -> rule5) OR ((triple5) -> rule1) OR ((((triple1) -> rule7)) -> rule5) OR ((((triple4 triple3) -> rule8)) -> rule1) OR ((((triple4 ((triple1 triple2) -> rule4)) -> rule8)) -> rule1) OR ((((((triple1) -> rule7) triple3) -> rule8)) -> rule1) OR ((((((triple1) -> rule7) ((triple1 triple2) -> rule4)) -> rule8)) -> rule1))] Charlie is big.[(triple7)] Erin is nice.[(triple8)] Gary is big.[(triple9)] Gary is furry.[(triple10)] Gary is kind.[(triple11 OR ((triple9 triple12) -> rule6) OR ((((triple13) -> rule5)) -> rule3) OR ((((triple14) -> rule1)) -> rule3) OR ((triple9 ((triple14) -> rule2)) -> rule6) OR ((((((triple9) -> rule7)) -> rule5)) -> rule3) OR ((((((triple13 triple12) -> rule8)) -> rule1)) -> rule3) OR ((((((((triple9) -> rule7) triple12) -> rule8)) -> rule1)) -> rule3))] Gary is nice.[(triple12 OR ((triple14) -> rule2) OR ((triple9 triple11) -> rule4) OR ((triple9 ((((triple13) -> rule5)) -> rule3)) -> rule4) OR ((triple9 ((((triple14) -> rule1)) -> rule3)) -> rule4) OR ((triple9 ((((((triple9) -> rule7)) -> rule5)) -> rule3)) -> rule4))] Gary is rough.[(triple13 OR ((triple9) -> rule7))] Gary is round.[(triple14 OR ((triple13 triple12) -> rule8) OR ((triple13 ((triple9 triple11) -> rule4)) -> rule8) OR ((((triple9) -> rule7) triple12) -> rule8) OR ((((triple9) -> rule7) ((triple9 triple11) -> rule4)) -> rule8) OR ((triple13 ((triple9 ((((triple13) -> rule5)) -> rule3)) -> rule4)) -> rule8) OR ((((triple9) -> rule7) ((triple9 ((((triple13) -> rule5)) -> rule3)) -> rule4)) -> rule8) OR ((triple13 ((triple9 ((((((triple9) -> rule7)) -> rule5)) -> rule3)) -> rule4)) -> rule8) OR ((((triple9) -> rule7) ((triple9 ((((((triple9) -> rule7)) -> rule5)) -> rule3)) -> rule4)) -> rule8))] @1: Charlie is rough.[(((triple7) -> rule7))] Gary is young.[(((triple13) -> rule5) OR ((triple14) -> rule1) OR ((((triple9) -> rule7)) -> rule5) OR ((((triple13 triple12) -> rule8)) -> rule1) OR ((((triple13 ((triple9 triple11) -> rule4)) -> rule8)) -> rule1) OR ((((((triple9) -> rule7) triple12) -> rule8)) -> rule1) OR ((((((triple9) -> rule7) ((triple9 triple11) -> rule4)) -> rule8)) -> rule1))] @2: Charlie is young.[(((((triple7) -> rule7)) -> rule5))] @3: Charlie is kind.[(((((((triple7) -> rule7)) -> rule5)) -> rule3))] @4: Charlie is nice.[(((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule3)) -> rule4))] @5: Charlie is round.[(((((triple7) -> rule7) ((triple7 ((((((triple7) -> rule7)) -> rule5)) -> rule3)) -> rule4)) -> rule8))]
Bob is big.
("Bob" "is" "big" "+")
triple1
Bob is kind.
("Bob" "is" "kind" "+")
triple2
((triple6) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((triple1 triple3) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((((triple5) -> (rule1 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
((triple1 ((triple5) -> (rule2 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple4 triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((((triple1) -> (rule7 % int4)) triple3) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 triple2) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1 ((triple6) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((triple1 ((((triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple1 ((((triple5) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
((triple1 ((((((triple1) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
triple4
((triple1) -> (rule7 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple4 triple3) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple4 ((triple1 triple2) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1) -> (rule7 % int2)) triple3) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple1 triple2) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((triple4 ((triple1 ((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((triple1) -> (rule7 % int4)) ((triple1 ((triple6) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
((triple4 ((triple1 ((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
((((triple1) -> (rule7 % int5)) ((triple1 ((((triple4) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((triple4 ((triple1 ((((((triple1) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
((((triple1) -> (rule7 % int5)) ((triple1 ((((((triple1) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is young.
("Bob" "is" "young" "+")
triple6
((triple4) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple5) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule5 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((triple4 triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((triple4 ((triple1 triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple1) -> (rule7 % int3)) triple3) -> (rule8 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
((((((triple1) -> (rule7 % int4)) ((triple1 triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Erin is nice.
("Erin" "is" "nice" "+")
triple8
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple11
((triple9 triple12) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((((triple13) -> (rule5 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple14) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((triple9 ((triple14) -> (rule2 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((((triple9) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple13 triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
((((((((triple9) -> (rule7 % int4)) triple12) -> (rule8 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is nice.
("Gary" "is" "nice" "+")
triple12
((triple14) -> (rule2 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9 triple11) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((triple9 ((((triple13) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple9 ((((triple14) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple9 ((((((triple9) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
triple13
((triple9) -> (rule7 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple14
((triple13 triple12) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
((triple13 ((triple9 triple11) -> (rule4 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple9) -> (rule7 % int2)) triple12) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple9) -> (rule7 % int3)) ((triple9 triple11) -> (rule4 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((triple13 ((triple9 ((((triple13) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple9) -> (rule7 % int5)) ((triple9 ((((triple13) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((triple13 ((triple9 ((((((triple9) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((triple9) -> (rule7 % int5)) ((triple9 ((((((triple9) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple7) -> (rule7 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple13) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((triple14) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple9) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple13 triple12) -> (rule8 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
((((triple13 ((triple9 triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple9) -> (rule7 % int3)) triple12) -> (rule8 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple9) -> (rule7 % int4)) ((triple9 triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
((((triple7) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
((((((triple7) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple7 ((((((triple7) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is round.
("Charlie" "is" "round" "+")
((((triple7) -> (rule7 % int5)) ((triple7 ((((((triple7) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5