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