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