Bob is rough. Dave is cold. Dave is quiet. Erin is cold. Erin is furry. Gary is blue. Gary is cold. Gary is furry. Gary is kind. Gary is quiet. Gary is rough. Gary is young. If someone is rough then they are quiet. If Gary is quiet and Gary is rough then Gary is kind. If someone is furry and rough then they are kind. If someone is quiet and furry then they are rough. If Erin is blue and Erin is kind then Erin is cold. All blue, kind people are quiet. All young, quiet people are blue. All quiet, cold people are furry. All kind people are young.
Bob is rough.
("Bob" "is" "rough" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is young.
("Gary" "is" "young" "+")
If someone is rough then they are quiet.
((("someone" "is" "rough" "+")) -> ("someone" "is" "quiet" "+"))
If Gary is quiet and Gary is rough then Gary is kind.
((("Gary" "is" "quiet" "+") ("Gary" "is" "rough" "+")) -> ("Gary" "is" "kind" "+"))
If someone is furry and rough then they are kind.
((("someone" "is" "furry" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is quiet and furry then they are rough.
((("someone" "is" "quiet" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "rough" "+"))
If Erin is blue and Erin is kind then Erin is cold.
((("Erin" "is" "blue" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "cold" "+"))
All blue, kind people are quiet.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "quiet" "+"))
All young, quiet people are blue.
((("someone" "is" "young" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All quiet, cold people are furry.
((("someone" "is" "quiet" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "furry" "+"))
All kind people are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
Gary is kind.
True
1
proof
[(triple9 OR ((triple10 triple11) -> rule2) OR ((triple8 triple11) -> rule3) OR ((triple10 ((triple10 triple8) -> rule4)) -> rule2) OR ((triple8 ((triple10 triple8) -> rule4)) -> rule3) OR ((((triple11) -> rule1) triple11) -> rule2) OR ((((triple10 triple7) -> rule8) triple11) -> rule3) OR ((((triple11) -> rule1) ((triple10 triple8) -> rule4)) -> rule2) OR ((((triple10 triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3) OR ((triple10 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2) OR ((triple8 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple11) -> rule1) triple7) -> rule8) triple11) -> rule3) OR ((((triple11) -> rule1) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2) OR ((((triple10 triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple11) -> rule1) triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3) OR ((((((triple11) -> rule1) triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3))]
("Gary" "is" "kind" "+")
triple9
((triple10 triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple8 triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 ((triple10 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((triple8 ((triple10 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple11) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple10 triple7) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple11) -> (rule1 % int3)) ((triple10 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10 triple7) -> (rule8 % int3)) ((triple10 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple10 ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple8 ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple11) -> (rule1 % int3)) triple7) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple11) -> (rule1 % int4)) ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple10 triple7) -> (rule8 % int3)) ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple11) -> (rule1 % int4)) triple7) -> (rule8 % int3)) ((triple10 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple11) -> (rule1 % int4)) triple7) -> (rule8 % int3)) ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is not furry.
False
1
inv-proof
[(triple8 OR ((triple10 triple7) -> rule8) OR ((((triple11) -> rule1) triple7) -> rule8) OR ((((triple6 triple9) -> rule6) triple7) -> rule8))]
("Gary" "is" "furry" "-")
triple8
((triple10 triple7) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple11) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple6 triple9) -> (rule6 % int2)) triple7) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Dave is furry.
True
3
proof
[(((triple3 triple2) -> rule8))]
("Dave" "is" "furry" "+")
((triple3 triple2) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not furry.
False
3
inv-proof
[(((triple3 triple2) -> rule8))]
("Dave" "is" "furry" "-")
((triple3 triple2) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
True
5
proof
[(((triple3 ((triple3 triple2) -> rule8)) -> rule4))]
("Dave" "is" "rough" "+")
((triple3 ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not rough.
False
5
inv-proof
[(((triple3 ((triple3 triple2) -> rule8)) -> rule4))]
("Dave" "is" "rough" "-")
((triple3 ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
True
9
proof
[(((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3))]
("Dave" "is" "kind" "+")
((((triple3 triple2) -> (rule8 % int3)) ((triple3 ((triple3 triple2) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is not kind.
False
9
inv-proof
[(((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3))]
("Dave" "is" "kind" "-")
((((triple3 triple2) -> (rule8 % int3)) ((triple3 ((triple3 triple2) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
True
10
proof
[(((((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3)) -> rule9))]
("Dave" "is" "young" "+")
((((((triple3 triple2) -> (rule8 % int4)) ((triple3 ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is not young.
False
10
inv-proof
[(((((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3)) -> rule9))]
("Dave" "is" "young" "-")
((((((triple3 triple2) -> (rule8 % int4)) ((triple3 ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is blue.
True
12
proof
[(((((((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3)) -> rule9) triple3) -> rule7))]
("Dave" "is" "blue" "+")
((((((((triple3 triple2) -> (rule8 % int5)) ((triple3 ((triple3 triple2) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Dave is not blue.
False
12
inv-proof
[(((((((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3)) -> rule9) triple3) -> rule7))]
("Dave" "is" "blue" "-")
((((((((triple3 triple2) -> (rule8 % int5)) ((triple3 ((triple3 triple2) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5
Erin is not rough.
Unknown
inv-rconc
[@3: Erin is rough.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule3 <- FAIL)]]
("Erin" "is" "rough" "-")
Bob is furry.
Unknown
rconc
[@1: Bob is furry.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("Bob" "is" "furry" "+")
Erin is not young.
Unknown
inv-rconc
[@4: Erin is young.[CWA. Example of deepest failure = (rule9 <- rule3 <- rule4 <- rule1 <- FAIL)]]
("Erin" "is" "young" "-")
Bob is blue.
Unknown
rconc
[@4: Bob is blue.[CWA. Example of deepest failure = (rule7 <- rule9 <- rule3 <- rule8 <- FAIL)]]
("Bob" "is" "blue" "+")
Erin is not blue.
Unknown
inv-rconc
[@4: Erin is blue.[CWA. Example of deepest failure = (rule7 <- rule1 <- rule4 <- rule6 <- FAIL)]]
("Erin" "is" "blue" "-")
Erin is kind.
Unknown
rconc
[@3: Erin is kind.[CWA. Example of deepest failure = (rule3 <- rule4 <- rule1 <- FAIL)]]
("Erin" "is" "kind" "+")
@0: Bob is rough.[(triple1)] Dave is cold.[(triple2)] Dave is quiet.[(triple3)] Erin is cold.[(triple4)] Erin is furry.[(triple5)] Gary is blue.[(triple6 OR ((triple12 triple10) -> rule7) OR ((triple12 ((triple11) -> rule1)) -> rule7) OR ((((triple9) -> rule9) triple10) -> rule7) OR ((((triple9) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((triple10 triple11) -> rule2)) -> rule9) triple10) -> rule7) OR ((((((triple8 triple11) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((triple10 triple11) -> rule2)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((triple8 triple11) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((triple10 ((triple10 triple8) -> rule4)) -> rule2)) -> rule9) triple10) -> rule7) OR ((((((triple8 ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((((triple11) -> rule1) triple11) -> rule2)) -> rule9) triple10) -> rule7) OR ((((((((triple10 triple7) -> rule8) triple11) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((triple10 ((triple10 triple8) -> rule4)) -> rule2)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((triple8 ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((triple11) -> rule1) triple11) -> rule2)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((triple11) -> rule1) ((triple10 triple8) -> rule4)) -> rule2)) -> rule9) triple10) -> rule7) OR ((((((((triple10 triple7) -> rule8) triple11) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((triple10 triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((((triple11) -> rule1) ((triple10 triple8) -> rule4)) -> rule2)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((triple10 triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((triple10 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2)) -> rule9) triple10) -> rule7) OR ((((((triple8 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((((((triple11) -> rule1) triple7) -> rule8) triple11) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((triple10 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((triple8 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((triple11) -> rule1) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2)) -> rule9) triple10) -> rule7) OR ((((((((triple10 triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((((((triple11) -> rule1) triple7) -> rule8) triple11) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((((triple11) -> rule1) triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((((triple11) -> rule1) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((triple10 triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((((triple11) -> rule1) triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7) OR ((((((((((triple11) -> rule1) triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9) triple10) -> rule7) OR ((((((((((triple11) -> rule1) triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9) ((triple11) -> rule1)) -> rule7))] Gary is cold.[(triple7)] Gary is furry.[(triple8 OR ((triple10 triple7) -> rule8) OR ((((triple11) -> rule1) triple7) -> rule8) OR ((((triple6 triple9) -> rule6) triple7) -> rule8))] Gary is kind.[(triple9 OR ((triple10 triple11) -> rule2) OR ((triple8 triple11) -> rule3) OR ((triple10 ((triple10 triple8) -> rule4)) -> rule2) OR ((triple8 ((triple10 triple8) -> rule4)) -> rule3) OR ((((triple11) -> rule1) triple11) -> rule2) OR ((((triple10 triple7) -> rule8) triple11) -> rule3) OR ((((triple11) -> rule1) ((triple10 triple8) -> rule4)) -> rule2) OR ((((triple10 triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3) OR ((triple10 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2) OR ((triple8 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple11) -> rule1) triple7) -> rule8) triple11) -> rule3) OR ((((triple11) -> rule1) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2) OR ((((triple10 triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3) OR ((((((triple11) -> rule1) triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3) OR ((((((triple11) -> rule1) triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3))] Gary is quiet.[(triple10 OR ((triple11) -> rule1) OR ((triple6 triple9) -> rule6) OR ((triple6 ((triple8 triple11) -> rule3)) -> rule6))] Gary is rough.[(triple11 OR ((triple10 triple8) -> rule4) OR ((triple10 ((triple10 triple7) -> rule8)) -> rule4) OR ((((triple6 triple9) -> rule6) triple8) -> rule4) OR ((((triple6 triple9) -> rule6) ((triple10 triple7) -> rule8)) -> rule4) OR ((triple10 ((((triple6 triple9) -> rule6) triple7) -> rule8)) -> rule4) OR ((((triple6 triple9) -> rule6) ((((triple6 triple9) -> rule6) triple7) -> rule8)) -> rule4))] Gary is young.[(triple12 OR ((triple9) -> rule9) OR ((((triple10 triple11) -> rule2)) -> rule9) OR ((((triple8 triple11) -> rule3)) -> rule9) OR ((((triple10 ((triple10 triple8) -> rule4)) -> rule2)) -> rule9) OR ((((triple8 ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) OR ((((((triple11) -> rule1) triple11) -> rule2)) -> rule9) OR ((((((triple10 triple7) -> rule8) triple11) -> rule3)) -> rule9) OR ((((((triple11) -> rule1) ((triple10 triple8) -> rule4)) -> rule2)) -> rule9) OR ((((((triple10 triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) OR ((((triple10 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2)) -> rule9) OR ((((triple8 ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9) OR ((((((((triple11) -> rule1) triple7) -> rule8) triple11) -> rule3)) -> rule9) OR ((((((triple11) -> rule1) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule2)) -> rule9) OR ((((((triple10 triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9) OR ((((((((triple11) -> rule1) triple7) -> rule8) ((triple10 triple8) -> rule4)) -> rule3)) -> rule9) OR ((((((((triple11) -> rule1) triple7) -> rule8) ((triple10 ((triple10 triple7) -> rule8)) -> rule4)) -> rule3)) -> rule9))] @1: Bob is quiet.[(((triple1) -> rule1))] Dave is furry.[(((triple3 triple2) -> rule8))] @2: Dave is rough.[(((triple3 ((triple3 triple2) -> rule8)) -> rule4))] @3: Dave is kind.[(((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3))] @4: Dave is young.[(((((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3)) -> rule9))] @5: Dave is blue.[(((((((((triple3 triple2) -> rule8) ((triple3 ((triple3 triple2) -> rule8)) -> rule4)) -> rule3)) -> rule9) triple3) -> rule7))]
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is furry.
("Erin" "is" "furry" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple6
((triple12 triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
((triple12 ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple9) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
((((triple9) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((((((triple10 triple11) -> (rule2 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple8 triple11) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
((((((triple10 triple11) -> (rule2 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple8 triple11) -> (rule3 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
((((((triple10 ((triple10 triple8) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((triple8 ((triple10 triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
((((((((triple11) -> (rule1 % int4)) triple11) -> (rule2 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple10 triple7) -> (rule8 % int4)) triple11) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((triple10 ((triple10 triple8) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((triple8 ((triple10 triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((triple11) -> (rule1 % int4)) triple11) -> (rule2 % int3))) -> (rule9 % int2)) ((triple11) -> (rule1 % int4))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple11) -> (rule1 % int5)) ((triple10 triple8) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple10 triple7) -> (rule8 % int5)) triple11) -> (rule3 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple10 triple7) -> (rule8 % int5)) ((triple10 triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((triple11) -> (rule1 % int5)) ((triple10 triple8) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) ((triple11) -> (rule1 % int5))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple10 triple7) -> (rule8 % int6)) ((triple10 triple8) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((triple10 ((triple10 ((triple10 triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((triple8 ((triple10 ((triple10 triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((((triple11) -> (rule1 % int5)) triple7) -> (rule8 % int4)) triple11) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 ((triple10 ((triple10 triple7) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule2 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((triple8 ((triple10 ((triple10 triple7) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((triple11) -> (rule1 % int6)) ((triple10 ((triple10 triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
int6
((((((((triple10 triple7) -> (rule8 % int5)) ((triple10 ((triple10 triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((((triple11) -> (rule1 % int5)) triple7) -> (rule8 % int4)) triple11) -> (rule3 % int3))) -> (rule9 % int2)) ((triple11) -> (rule1 % int5))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple11) -> (rule1 % int6)) triple7) -> (rule8 % int5)) ((triple10 triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
int6
((((((((triple11) -> (rule1 % int6)) ((triple10 ((triple10 triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule2 % int3))) -> (rule9 % int2)) ((triple11) -> (rule1 % int6))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
int6
((((((((triple10 triple7) -> (rule8 % int6)) ((triple10 ((triple10 triple7) -> (rule8 % int6))) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule9 % int3)) ((triple11) -> (rule1 % int2))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
int6
((((((((((triple11) -> (rule1 % int6)) triple7) -> (rule8 % int5)) ((triple10 triple8) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) ((triple11) -> (rule1 % int6))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
int6
((((((((((triple11) -> (rule1 % int6)) triple7) -> (rule8 % int5)) ((triple10 ((triple10 triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple10) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
int6
((((((((((triple11) -> (rule1 % int6)) triple7) -> (rule8 % int5)) ((triple10 ((triple10 triple7) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) ((triple11) -> (rule1 % int6))) -> (rule7 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
Gary is quiet.
("Gary" "is" "quiet" "+")
int6
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple8
((triple10 triple7) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple11) -> (rule1 % int2)) triple7) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple6 triple9) -> (rule6 % int2)) triple7) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple9
((triple10 triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple8 triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
((triple10 ((triple10 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((triple8 ((triple10 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
((((triple11) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple10 triple7) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple11) -> (rule1 % int3)) ((triple10 triple8) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple10 triple7) -> (rule8 % int3)) ((triple10 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple10 ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((triple8 ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple11) -> (rule1 % int3)) triple7) -> (rule8 % int2)) triple11) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple11) -> (rule1 % int4)) ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((triple10 triple7) -> (rule8 % int3)) ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple11) -> (rule1 % int4)) triple7) -> (rule8 % int3)) ((triple10 triple8) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple11) -> (rule1 % int4)) triple7) -> (rule8 % int3)) ((triple10 ((triple10 triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
((triple11) -> (rule1 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple6 triple9) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((triple6 ((triple8 triple11) -> (rule3 % int2))) -> (rule6 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
triple11
((triple10 triple8) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
((triple10 ((triple10 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((triple6 triple9) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple6 triple9) -> (rule6 % int3)) ((triple10 triple7) -> (rule8 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple10 ((((triple6 triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((triple6 triple9) -> (rule6 % int3)) ((((triple6 triple9) -> (rule6 % int3)) triple7) -> (rule8 % int2))) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
triple12
((triple9) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
((((triple10 triple11) -> (rule2 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple8 triple11) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
((((triple10 ((triple10 triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple8 ((triple10 triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple11) -> (rule1 % int3)) triple11) -> (rule2 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((triple10 triple7) -> (rule8 % int3)) triple11) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((triple11) -> (rule1 % int4)) ((triple10 triple8) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple10 triple7) -> (rule8 % int4)) ((triple10 triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple10 ((triple10 ((triple10 triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((triple8 ((triple10 ((triple10 triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple11) -> (rule1 % int4)) triple7) -> (rule8 % int3)) triple11) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((triple11) -> (rule1 % int5)) ((triple10 ((triple10 triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((triple10 triple7) -> (rule8 % int4)) ((triple10 ((triple10 triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple11) -> (rule1 % int5)) triple7) -> (rule8 % int4)) ((triple10 triple8) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((triple11) -> (rule1 % int5)) triple7) -> (rule8 % int4)) ((triple10 ((triple10 triple7) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Bob is quiet.
("Bob" "is" "quiet" "+")
((triple1) -> (rule1 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
((triple3 triple2) -> (rule8 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple3 ((triple3 triple2) -> (rule8 % int2))) -> (rule4 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
((((triple3 triple2) -> (rule8 % int3)) ((triple3 ((triple3 triple2) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((((triple3 triple2) -> (rule8 % int4)) ((triple3 ((triple3 triple2) -> (rule8 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule9 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is rough.
("Dave" "is" "rough" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
int4
Dave is blue.
("Dave" "is" "blue" "+")
((((((((triple3 triple2) -> (rule8 % int5)) ((triple3 ((triple3 triple2) -> (rule8 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule9 % int2)) triple3) -> (rule7 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is rough.
("Dave" "is" "rough" "+")
int4
Dave is furry.
("Dave" "is" "furry" "+")
int5