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