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