Anne is big. Anne is red. Charlie is quiet. Charlie is red. Erin is big. Erin is nice. Erin is quiet. Erin is rough. Erin is young. Fiona is big. All young people are cold. Red people are young. Young, big people are nice. Cold, nice people are quiet. All rough, red people are big. If someone is quiet and not red then they are big. Rough, quiet people are big. If someone is red and not cold then they are rough. Cold people are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is red.
("Anne" "is" "red" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is young.
("Erin" "is" "young" "+")
Fiona is big.
("Fiona" "is" "big" "+")
All young people are cold.
((("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
Red people are young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
Young, big people are nice.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
Cold, nice people are quiet.
((("someone" "is" "cold" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
All rough, red people are big.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "big" "+"))
If someone is quiet and not red then they are big.
((("someone" "is" "quiet" "+") ("someone" "is" "red" "~")) -> ("someone" "is" "big" "+"))
Rough, quiet people are big.
((("someone" "is" "rough" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "big" "+"))
If someone is red and not cold then they are rough.
((("someone" "is" "red" "+") ("someone" "is" "cold" "~")) -> ("someone" "is" "rough" "+"))
Cold people are rough.
((("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
Anne is big.
True
1
proof
[(triple1 OR ((((((((triple2) -> rule2)) -> rule1)) -> rule9) triple2) -> rule5))]
("Anne" "is" "big" "+")
triple1
((((((((triple2) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple2) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Erin is not nice.
False
1
inv-proof
[(triple6 OR ((triple9 triple5) -> rule3) OR ((triple9 ((triple8 triple7) -> rule7)) -> rule3) OR ((triple9 ((((((triple9) -> rule1)) -> rule9) triple7) -> rule7)) -> rule3))]
("Erin" "is" "nice" "-")
triple6
((triple9 triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple9 ((triple8 triple7) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple9 ((((((triple9) -> (rule1 % int4))) -> (rule9 % int3)) triple7) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Anne is young.
True
2
proof
[(((triple2) -> rule2))]
("Anne" "is" "young" "+")
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Erin is not cold.
False
2
inv-proof
[(((triple9) -> rule1))]
("Erin" "is" "cold" "-")
((triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is nice.
True
4
proof
[(((((triple2) -> rule2) triple1) -> rule3) OR ((((triple2) -> rule2) ((((((((triple2) -> rule2)) -> rule1)) -> rule9) triple2) -> rule5)) -> rule3))]
("Anne" "is" "nice" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2) -> (rule2 % int5)) ((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is not nice.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule3) OR ((((triple2) -> rule2) ((((((((triple2) -> rule2)) -> rule1)) -> rule9) triple2) -> rule5)) -> rule3))]
("Anne" "is" "nice" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2) -> (rule2 % int5)) ((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Anne is rough.
True
4
proof
[(((((((triple2) -> rule2)) -> rule1)) -> rule9))]
("Anne" "is" "rough" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is not rough.
False
4
inv-proof
[(((((((triple2) -> rule2)) -> rule1)) -> rule9))]
("Anne" "is" "rough" "-")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Charlie is big.
True
6
proof
[(((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple3) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple4) -> rule5))]
("Charlie" "is" "big" "+")
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple3) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is not big.
False
6
inv-proof
[(((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple3) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple4) -> rule5))]
("Charlie" "is" "big" "-")
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple3) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
True
9
proof
[(((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple3) -> rule7)) -> rule3) OR ((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple4) -> rule5)) -> rule3))]
("Charlie" "is" "nice" "+")
((((triple4) -> (rule2 % int5)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((triple4) -> (rule2 % int5)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Charlie is not nice.
False
9
inv-proof
[(((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple3) -> rule7)) -> rule3) OR ((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple4) -> rule5)) -> rule3))]
("Charlie" "is" "nice" "-")
((((triple4) -> (rule2 % int5)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((triple4) -> (rule2 % int5)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
Fiona is not cold.
Unknown
inv-rconc
[@2: Fiona is cold.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "cold" "-")
Fiona is rough.
Unknown
rconc
[@3: Fiona is rough.[CWA. Example of deepest failure = (rule9 <- rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "rough" "+")
Fiona is not nice.
Unknown
inv-rconc
[@2: Fiona is nice.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Fiona" "is" "nice" "-")
Fiona is young.
Unknown
rconc
[@1: Fiona is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fiona" "is" "young" "+")
Fiona is not quiet.
Unknown
inv-rconc
[@3: Fiona is quiet.[CWA. Example of deepest failure = (rule4 <- rule1 <- rule2 <- FAIL)]]
("Fiona" "is" "quiet" "-")
Fiona is red.
Unknown
random
[@0: Fiona is red.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "red" "+")
@0: Anne is big.[(triple1 OR ((((((((triple2) -> rule2)) -> rule1)) -> rule9) triple2) -> rule5))] Anne is red.[(triple2)] Charlie is quiet.[(triple3 OR ((((((triple4) -> rule2)) -> rule1) ((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple4) -> rule5)) -> rule3)) -> rule4))] Charlie is red.[(triple4)] Erin is big.[(triple5 OR ((triple8 triple7) -> rule7) OR ((triple8 ((((triple9) -> rule1) triple6) -> rule4)) -> rule7) OR ((((((triple9) -> rule1)) -> rule9) triple7) -> rule7) OR ((((((triple9) -> rule1)) -> rule9) ((((triple9) -> rule1) triple6) -> rule4)) -> rule7))] Erin is nice.[(triple6 OR ((triple9 triple5) -> rule3) OR ((triple9 ((triple8 triple7) -> rule7)) -> rule3) OR ((triple9 ((((((triple9) -> rule1)) -> rule9) triple7) -> rule7)) -> rule3))] Erin is quiet.[(triple7 OR ((((triple9) -> rule1) triple6) -> rule4) OR ((((triple9) -> rule1) ((triple9 triple5) -> rule3)) -> rule4))] Erin is rough.[(triple8 OR ((((triple9) -> rule1)) -> rule9))] Erin is young.[(triple9)] Fiona is big.[(triple10)] @1: Anne is young.[(((triple2) -> rule2))] Charlie is young.[(((triple4) -> rule2))] Erin is cold.[(((triple9) -> rule1))] @2: Anne is cold.[(((((triple2) -> rule2)) -> rule1))] Anne is nice.[(((((triple2) -> rule2) triple1) -> rule3) OR ((((triple2) -> rule2) ((((((((triple2) -> rule2)) -> rule1)) -> rule9) triple2) -> rule5)) -> rule3))] Charlie is cold.[(((((triple4) -> rule2)) -> rule1))] @3: Anne is quiet.[(((((((triple2) -> rule2)) -> rule1) ((((triple2) -> rule2) triple1) -> rule3)) -> rule4) OR ((((((triple2) -> rule2)) -> rule1) ((((triple2) -> rule2) ((((((((triple2) -> rule2)) -> rule1)) -> rule9) triple2) -> rule5)) -> rule3)) -> rule4))] Anne is rough.[(((((((triple2) -> rule2)) -> rule1)) -> rule9))] Charlie is rough.[(((((((triple4) -> rule2)) -> rule1)) -> rule9))] @4: Charlie is big.[(((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple3) -> rule7) OR ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple4) -> rule5))] @5: Charlie is nice.[(((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple3) -> rule7)) -> rule3) OR ((((triple4) -> rule2) ((((((((triple4) -> rule2)) -> rule1)) -> rule9) triple4) -> rule5)) -> rule3))]
Anne is big.
("Anne" "is" "big" "+")
triple1
((((((((triple2) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple2) -> (rule5 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is red.
("Anne" "is" "red" "+")
triple2
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple3
((((((triple4) -> (rule2 % int6))) -> (rule1 % int5)) ((((triple4) -> (rule2 % int6)) ((((((((triple4) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) triple4) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is big.
("Charlie" "is" "big" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
Charlie is young.
("Charlie" "is" "young" "+")
int6
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
((triple8 triple7) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
((triple8 ((((triple9) -> (rule1 % int3)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple9) -> (rule1 % int3))) -> (rule9 % int2)) triple7) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple9) -> (rule1 % int4))) -> (rule9 % int3)) ((((triple9) -> (rule1 % int4)) triple6) -> (rule4 % int2))) -> (rule7 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple9 triple5) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple9 ((triple8 triple7) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
((triple9 ((((((triple9) -> (rule1 % int4))) -> (rule9 % int3)) triple7) -> (rule7 % int2))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
((((triple9) -> (rule1 % int2)) triple6) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple9) -> (rule1 % int3)) ((triple9 triple5) -> (rule3 % int2))) -> (rule4 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((((triple9) -> (rule1 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
triple9
Fiona is big.
("Fiona" "is" "big" "+")
triple10
Anne is young.
("Anne" "is" "young" "+")
((triple2) -> (rule2 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4) -> (rule2 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple9) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
((((triple2) -> (rule2 % int5)) ((((((((triple2) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple2) -> (rule5 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is rough.
("Anne" "is" "rough" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is young.
("Anne" "is" "young" "+")
int5
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
((((((triple2) -> (rule2 % int4))) -> (rule1 % int3)) ((((triple2) -> (rule2 % int4)) triple1) -> (rule3 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
((((((triple2) -> (rule2 % int6))) -> (rule1 % int5)) ((((triple2) -> (rule2 % int6)) ((((((((triple2) -> (rule2 % int6))) -> (rule1 % int5))) -> (rule9 % int4)) triple2) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
int3
Anne is rough.
("Anne" "is" "rough" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is young.
("Anne" "is" "young" "+")
int6
Anne is rough.
("Anne" "is" "rough" "+")
((((((triple2) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((((((triple4) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule9 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is big.
("Charlie" "is" "big" "+")
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple3) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((((((triple4) -> (rule2 % int4))) -> (rule1 % int3))) -> (rule9 % int2)) triple4) -> (rule5 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple4) -> (rule2 % int5)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple3) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5
((((triple4) -> (rule2 % int5)) ((((((((triple4) -> (rule2 % int5))) -> (rule1 % int4))) -> (rule9 % int3)) triple4) -> (rule5 % int2))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is young.
("Charlie" "is" "young" "+")
int5