Anne is furry. Anne is green. Anne is quiet. Anne is round. Bob is big. Bob is furry. Bob is kind. Bob is red. Erin is big. Gary is big. Gary is green. Gary is red. All kind, red things are round. If Erin is round and Erin is quiet then Erin is red. All big things are red. Green things are quiet. Round things are quiet. If something is furry then it is kind. If something is big then it is green. Quiet things are furry. All kind, red things are big.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is big.
("Bob" "is" "big" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
All kind, red things are round.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "round" "+"))
If Erin is round and Erin is quiet then Erin is red.
((("Erin" "is" "round" "+") ("Erin" "is" "quiet" "+")) -> ("Erin" "is" "red" "+"))
All big things are red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Green things are quiet.
((("something" "is" "green" "+")) -> ("something" "is" "quiet" "+"))
Round things are quiet.
((("something" "is" "round" "+")) -> ("something" "is" "quiet" "+"))
If something is furry then it is kind.
((("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If something is big then it is green.
((("something" "is" "big" "+")) -> ("something" "is" "green" "+"))
Quiet things are furry.
((("something" "is" "quiet" "+")) -> ("something" "is" "furry" "+"))
All kind, red things are big.
((("something" "is" "kind" "+") ("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
Bob is red.
True
1
proof
[(triple8 OR ((triple5) -> rule3))]
("Bob" "is" "red" "+")
triple8
((triple5) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Gary is not green.
False
1
inv-proof
[(triple11 OR ((triple10) -> rule7))]
("Gary" "is" "green" "-")
triple11
((triple10) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Bob is green.
True
2
proof
[(((triple5) -> rule7) OR ((((triple7 triple8) -> rule9)) -> rule7) OR ((((((triple6) -> rule6) triple8) -> rule9)) -> rule7))]
("Bob" "is" "green" "+")
((triple5) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple7 triple8) -> (rule9 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple6) -> (rule6 % int3)) triple8) -> (rule9 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Erin is not red.
False
2
inv-proof
[(((triple9) -> rule3))]
("Erin" "is" "red" "-")
((triple9) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is furry.
True
3
proof
[(((((triple11) -> rule4)) -> rule8) OR ((((((triple10) -> rule7)) -> rule4)) -> rule8))]
("Gary" "is" "furry" "+")
((((triple11) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not furry.
False
3
inv-proof
[(((((triple11) -> rule4)) -> rule8) OR ((((((triple10) -> rule7)) -> rule4)) -> rule8))]
("Gary" "is" "furry" "-")
((((triple11) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Erin is furry.
True
4
proof
[(((((((triple9) -> rule7)) -> rule4)) -> rule8))]
("Erin" "is" "furry" "+")
((((((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is not furry.
False
4
inv-proof
[(((((((triple9) -> rule7)) -> rule4)) -> rule8))]
("Erin" "is" "furry" "-")
((((((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Gary is round.
True
6
proof
[(((((((((triple11) -> rule4)) -> rule8)) -> rule6) triple12) -> rule1) OR ((((((((triple11) -> rule4)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule1) OR ((((((((((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule6) triple12) -> rule1) OR ((((((((((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule1))]
("Gary" "is" "round" "+")
((((((((triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple11) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple10) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Erin is not kind.
False
5
inv-proof
[(((((((((triple9) -> rule7)) -> rule4)) -> rule8)) -> rule6))]
("Erin" "is" "kind" "-")
((((((((triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Erin is round.
True
8
proof
[(((((((((((triple9) -> rule7)) -> rule4)) -> rule8)) -> rule6) ((triple9) -> rule3)) -> rule1))]
("Erin" "is" "round" "+")
((((((((((triple9) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
Erin is not round.
False
8
inv-proof
[(((((((((((triple9) -> rule7)) -> rule4)) -> rule8)) -> rule6) ((triple9) -> rule3)) -> rule1))]
("Erin" "is" "round" "-")
((((((((((triple9) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6
Anne is not big.
Unknown
inv-rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule9 <- rule3 <- FAIL)]]
("Anne" "is" "big" "-")
Anne is red.
Unknown
rconc
[@2: Anne is red.[CWA. Example of deepest failure = (rule3 <- rule9 <- FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is furry.[(triple1 OR ((triple3) -> rule8) OR ((((triple2) -> rule4)) -> rule8) OR ((((triple4) -> rule5)) -> rule8))] Anne is green.[(triple2)] Anne is quiet.[(triple3 OR ((triple2) -> rule4) OR ((triple4) -> rule5))] Anne is round.[(triple4)] Bob is big.[(triple5 OR ((triple7 triple8) -> rule9) OR ((((triple6) -> rule6) triple8) -> rule9))] Bob is furry.[(triple6 OR ((((((triple5) -> rule7)) -> rule4)) -> rule8) OR ((((((triple7 triple8) -> rule1)) -> rule5)) -> rule8) OR ((((((((triple7 triple8) -> rule9)) -> rule7)) -> rule4)) -> rule8) OR ((((((triple7 ((triple5) -> rule3)) -> rule1)) -> rule5)) -> rule8))] Bob is kind.[(triple7 OR ((triple6) -> rule6) OR ((((((((triple5) -> rule7)) -> rule4)) -> rule8)) -> rule6))] Bob is red.[(triple8 OR ((triple5) -> rule3))] Erin is big.[(triple9)] Gary is big.[(triple10 OR ((((((((triple11) -> rule4)) -> rule8)) -> rule6) triple12) -> rule9))] Gary is green.[(triple11 OR ((triple10) -> rule7))] Gary is red.[(triple12 OR ((triple10) -> rule3))] @1: Anne is kind.[(((triple1) -> rule6) OR ((((triple3) -> rule8)) -> rule6) OR ((((((triple2) -> rule4)) -> rule8)) -> rule6) OR ((((((triple4) -> rule5)) -> rule8)) -> rule6))] Bob is green.[(((triple5) -> rule7) OR ((((triple7 triple8) -> rule9)) -> rule7) OR ((((((triple6) -> rule6) triple8) -> rule9)) -> rule7))] Bob is round.[(((triple7 triple8) -> rule1) OR ((triple7 ((triple5) -> rule3)) -> rule1) OR ((((triple6) -> rule6) triple8) -> rule1) OR ((((triple6) -> rule6) ((triple5) -> rule3)) -> rule1) OR ((((((((((triple5) -> rule7)) -> rule4)) -> rule8)) -> rule6) triple8) -> rule1) OR ((((((((((triple5) -> rule7)) -> rule4)) -> rule8)) -> rule6) ((triple5) -> rule3)) -> rule1))] Erin is green.[(((triple9) -> rule7))] Erin is red.[(((triple9) -> rule3))] Gary is quiet.[(((triple11) -> rule4) OR ((((triple10) -> rule7)) -> rule4))] @2: Bob is quiet.[(((((triple5) -> rule7)) -> rule4) OR ((((triple7 triple8) -> rule1)) -> rule5) OR ((((((triple7 triple8) -> rule9)) -> rule7)) -> rule4) OR ((((triple7 ((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((((triple6) -> rule6) triple8) -> rule1)) -> rule5) OR ((((((triple6) -> rule6) ((triple5) -> rule3)) -> rule1)) -> rule5) OR ((((((((triple6) -> rule6) triple8) -> rule9)) -> rule7)) -> rule4))] Erin is quiet.[(((((triple9) -> rule7)) -> rule4))] Gary is furry.[(((((triple11) -> rule4)) -> rule8) OR ((((((triple10) -> rule7)) -> rule4)) -> rule8))] @3: Erin is furry.[(((((((triple9) -> rule7)) -> rule4)) -> rule8))] Gary is kind.[(((((((triple11) -> rule4)) -> rule8)) -> rule6) OR ((((((((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule6))] @4: Erin is kind.[(((((((((triple9) -> rule7)) -> rule4)) -> rule8)) -> rule6))] Gary is round.[(((((((((triple11) -> rule4)) -> rule8)) -> rule6) triple12) -> rule1) OR ((((((((triple11) -> rule4)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule1) OR ((((((((((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule6) triple12) -> rule1) OR ((((((((((triple10) -> rule7)) -> rule4)) -> rule8)) -> rule6) ((triple10) -> rule3)) -> rule1))] @5: Erin is round.[(((((((((((triple9) -> rule7)) -> rule4)) -> rule8)) -> rule6) ((triple9) -> rule3)) -> rule1))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
((triple3) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((((triple2) -> (rule4 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((triple4) -> (rule5 % int2))) -> (rule8 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
((triple2) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((triple4) -> (rule5 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
triple4
Bob is big.
("Bob" "is" "big" "+")
triple5
((triple7 triple8) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
((((triple6) -> (rule6 % int2)) triple8) -> (rule9 % int1))
Bob is big.
("Bob" "is" "big" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
triple6
((((((triple5) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
((((((triple7 triple8) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((((((triple7 triple8) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is big.
("Bob" "is" "big" "+")
int4
((((((triple7 ((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is quiet.
("Bob" "is" "quiet" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is red.
("Bob" "is" "red" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
triple7
((triple6) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
((((((((triple5) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
triple8
((triple5) -> (rule3 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
triple9
Gary is big.
("Gary" "is" "big" "+")
triple10
((((((((triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule9 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
triple11
((triple10) -> (rule7 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
triple12
((triple10) -> (rule3 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((((triple3) -> (rule8 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple4) -> (rule5 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((triple5) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
((((triple7 triple8) -> (rule9 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
((((((triple6) -> (rule6 % int3)) triple8) -> (rule9 % int2))) -> (rule7 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is big.
("Bob" "is" "big" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
((triple7 triple8) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
((triple7 ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
((((triple6) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
((((triple6) -> (rule6 % int3)) ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((((((triple5) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple8) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is quiet.
("Bob" "is" "quiet" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
int5
((((((((((triple5) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is red.
("Bob" "is" "red" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is quiet.
("Bob" "is" "quiet" "+")
int5
Bob is green.
("Bob" "is" "green" "+")
int6
Erin is green.
("Erin" "is" "green" "+")
((triple9) -> (rule7 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
((triple9) -> (rule3 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
((triple11) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
((((triple10) -> (rule7 % int2))) -> (rule4 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
((((triple5) -> (rule7 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
((((triple7 triple8) -> (rule1 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((((((triple7 triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
((((triple7 ((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
((((((triple6) -> (rule6 % int3)) triple8) -> (rule1 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
((((((triple6) -> (rule6 % int4)) ((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is red.
("Bob" "is" "red" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
((((((((triple6) -> (rule6 % int4)) triple8) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
Bob is quiet.
("Bob" "is" "quiet" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is big.
("Bob" "is" "big" "+")
int3
Bob is kind.
("Bob" "is" "kind" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
((((triple9) -> (rule7 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
((((triple11) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((((triple10) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple9) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Gary is kind.
("Gary" "is" "kind" "+")
((((((triple11) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((((((((triple10) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((((((((triple9) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((((((((triple11) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
((((((((triple11) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
((((((((((triple10) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule8 % int3))) -> (rule6 % int2)) triple12) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((((triple10) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple10) -> (rule3 % int2))) -> (rule1 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is red.
("Gary" "is" "red" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is quiet.
("Gary" "is" "quiet" "+")
int5
Gary is green.
("Gary" "is" "green" "+")
int6
Erin is round.
("Erin" "is" "round" "+")
((((((((((triple9) -> (rule7 % int6))) -> (rule4 % int5))) -> (rule8 % int4))) -> (rule6 % int3)) ((triple9) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is red.
("Erin" "is" "red" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
int5
Erin is green.
("Erin" "is" "green" "+")
int6