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