Anne is blue. Anne is cold. Anne is nice. Anne is quiet. Anne is smart. Bob is not nice. Bob is rough. Bob is smart. Erin is cold. Harry is kind. Harry is rough. All kind things are quiet. If something is blue and nice then it is quiet. All blue, cold things are kind. All quiet things are smart. Quiet things are cold. Blue things are cold. If something is cold then it is blue. If something is smart and not cold then it is not rough. Smart things are rough.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Bob is not nice.
("Bob" "is" "nice" "-")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is rough.
("Harry" "is" "rough" "+")
All kind things are quiet.
((("something" "is" "kind" "+")) -> ("something" "is" "quiet" "+"))
If something is blue and nice then it is quiet.
((("something" "is" "blue" "+") ("something" "is" "nice" "+")) -> ("something" "is" "quiet" "+"))
All blue, cold things are kind.
((("something" "is" "blue" "+") ("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
All quiet things are smart.
((("something" "is" "quiet" "+")) -> ("something" "is" "smart" "+"))
Quiet things are cold.
((("something" "is" "quiet" "+")) -> ("something" "is" "cold" "+"))
Blue things are cold.
((("something" "is" "blue" "+")) -> ("something" "is" "cold" "+"))
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If something is smart and not cold then it is not rough.
((("something" "is" "smart" "+") ("something" "is" "cold" "~")) -> ("something" "is" "rough" "-"))
Smart things are rough.
((("something" "is" "smart" "+")) -> ("something" "is" "rough" "+"))
Harry is rough.
True
1
proof
[(triple11 OR ((((((triple10) -> rule1)) -> rule4)) -> rule9))]
("Harry" "is" "rough" "+")
triple11
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Erin is not cold.
False
1
inv-proof
[(triple9)]
("Erin" "is" "cold" "-")
triple9
Anne is kind.
True
3
proof
[(((triple1 triple2) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule3) OR ((triple1 ((triple4) -> rule5)) -> rule3) OR ((((triple2) -> rule7) triple2) -> rule3) OR ((((triple2) -> rule7) ((triple1) -> rule6)) -> rule3) OR ((((triple2) -> rule7) ((triple4) -> rule5)) -> rule3) OR ((triple1 ((((triple1 triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((triple4) -> rule5)) -> rule7) triple2) -> rule3) OR ((((triple2) -> rule7) ((((triple1 triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule3) OR ((((((triple4) -> rule5)) -> rule7) ((triple4) -> rule5)) -> rule3) OR ((((((triple4) -> rule5)) -> rule7) ((((triple1 triple3) -> rule2)) -> rule5)) -> rule3))]
("Anne" "is" "kind" "+")
((triple1 triple2) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple1 ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple1 ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple2) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((((triple1 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple2) -> (rule7 % int4)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2)) ((triple4) -> (rule5 % int3))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple4) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple1 triple3) -> (rule2 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is not rough.
False
2
inv-proof
[(((triple5) -> rule9) OR ((((triple4) -> rule4)) -> rule9) OR ((((((triple1 triple3) -> rule2)) -> rule4)) -> rule9) OR ((((((((triple1 triple2) -> rule3)) -> rule1)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule7) triple3) -> rule2)) -> rule4)) -> rule9) OR ((((((((triple1 ((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule9) OR ((((((((((triple2) -> rule7) triple2) -> rule3)) -> rule1)) -> rule4)) -> rule9) OR ((((((((((triple2) -> rule7) ((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule9))]
("Anne" "is" "rough" "-")
((triple5) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1 triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((((triple1 triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple1 ((triple1) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((triple2) -> (rule7 % int5)) triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((((((triple2) -> (rule7 % int6)) ((triple1) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
int6
Erin is kind.
True
4
proof
[(((((triple9) -> rule7) triple9) -> rule3))]
("Erin" "is" "kind" "+")
((((triple9) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Harry is not cold.
False
3
inv-proof
[(((((triple10) -> rule1)) -> rule5))]
("Harry" "is" "cold" "-")
((((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is blue.
True
4
proof
[(((((((triple10) -> rule1)) -> rule5)) -> rule7))]
("Harry" "is" "blue" "+")
((((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Erin is not quiet.
False
5
inv-proof
[(((((((triple9) -> rule7) triple9) -> rule3)) -> rule1))]
("Erin" "is" "quiet" "-")
((((((triple9) -> (rule7 % int3)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Erin is smart.
True
6
proof
[(((((((((triple9) -> rule7) triple9) -> rule3)) -> rule1)) -> rule4))]
("Erin" "is" "smart" "+")
((((((((triple9) -> (rule7 % int4)) triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is not smart.
False
6
inv-proof
[(((((((((triple9) -> rule7) triple9) -> rule3)) -> rule1)) -> rule4))]
("Erin" "is" "smart" "-")
((((((((triple9) -> (rule7 % int4)) triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
True
7
proof
[(((((((((((triple9) -> rule7) triple9) -> rule3)) -> rule1)) -> rule4)) -> rule9))]
("Erin" "is" "rough" "+")
((((((((((triple9) -> (rule7 % int5)) triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Erin is not rough.
False
7
inv-proof
[(((((((((((triple9) -> rule7) triple9) -> rule3)) -> rule1)) -> rule4)) -> rule9))]
("Erin" "is" "rough" "-")
((((((((((triple9) -> (rule7 % int5)) triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5
Bob is not quiet.
Unknown
inv-rconc
[@5: Bob is quiet.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule7 <- rule5 <- rule2 <- FAIL)]]
("Bob" "is" "quiet" "-")
Bob is cold.
Unknown
rconc
[@5: Bob is cold.[CWA. Example of deepest failure = (rule5 <- rule1 <- rule3 <- rule7 <- rule6 <- FAIL)]]
("Bob" "is" "cold" "+")
Bob is not blue.
Unknown
inv-rconc
[@4: Bob is blue.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule1 <- rule3 <- FAIL)]]
("Bob" "is" "blue" "-")
Bob is kind.
Unknown
rconc
[@4: Bob is kind.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule5 <- rule1 <- FAIL)]]
("Bob" "is" "kind" "+")
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Anne is blue.[(triple1 OR ((triple2) -> rule7) OR ((((triple4) -> rule5)) -> rule7))] Anne is cold.[(triple2 OR ((triple1) -> rule6) OR ((triple4) -> rule5) OR ((((triple1 triple3) -> rule2)) -> rule5))] Anne is nice.[(triple3)] Anne is quiet.[(triple4 OR ((triple1 triple3) -> rule2) OR ((((triple1 triple2) -> rule3)) -> rule1) OR ((((triple2) -> rule7) triple3) -> rule2) OR ((((triple1 ((triple1) -> rule6)) -> rule3)) -> rule1) OR ((((((triple2) -> rule7) triple2) -> rule3)) -> rule1) OR ((((((triple2) -> rule7) ((triple1) -> rule6)) -> rule3)) -> rule1))] Anne is smart.[(triple5 OR ((triple4) -> rule4) OR ((((triple1 triple3) -> rule2)) -> rule4) OR ((((((triple1 triple2) -> rule3)) -> rule1)) -> rule4) OR ((((((triple2) -> rule7) triple3) -> rule2)) -> rule4) OR ((((((triple1 ((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule7) triple2) -> rule3)) -> rule1)) -> rule4) OR ((((((((triple2) -> rule7) ((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule4))] Bob is not nice.[(triple6)] Bob is rough.[(triple7 OR ((triple8) -> rule9))] Bob is smart.[(triple8)] Erin is cold.[(triple9)] Harry is kind.[(triple10)] Harry is rough.[(triple11 OR ((((((triple10) -> rule1)) -> rule4)) -> rule9))] @1: Anne is kind.[(((triple1 triple2) -> rule3) OR ((triple1 ((triple1) -> rule6)) -> rule3) OR ((triple1 ((triple4) -> rule5)) -> rule3) OR ((((triple2) -> rule7) triple2) -> rule3) OR ((((triple2) -> rule7) ((triple1) -> rule6)) -> rule3) OR ((((triple2) -> rule7) ((triple4) -> rule5)) -> rule3) OR ((triple1 ((((triple1 triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((triple4) -> rule5)) -> rule7) triple2) -> rule3) OR ((((triple2) -> rule7) ((((triple1 triple3) -> rule2)) -> rule5)) -> rule3) OR ((((((triple4) -> rule5)) -> rule7) ((triple1) -> rule6)) -> rule3) OR ((((((triple4) -> rule5)) -> rule7) ((triple4) -> rule5)) -> rule3) OR ((((((triple4) -> rule5)) -> rule7) ((((triple1 triple3) -> rule2)) -> rule5)) -> rule3))] Anne is rough.[(((triple5) -> rule9) OR ((((triple4) -> rule4)) -> rule9) OR ((((((triple1 triple3) -> rule2)) -> rule4)) -> rule9) OR ((((((((triple1 triple2) -> rule3)) -> rule1)) -> rule4)) -> rule9) OR ((((((((triple2) -> rule7) triple3) -> rule2)) -> rule4)) -> rule9) OR ((((((((triple1 ((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule9) OR ((((((((((triple2) -> rule7) triple2) -> rule3)) -> rule1)) -> rule4)) -> rule9) OR ((((((((((triple2) -> rule7) ((triple1) -> rule6)) -> rule3)) -> rule1)) -> rule4)) -> rule9))] Erin is blue.[(((triple9) -> rule7))] Harry is quiet.[(((triple10) -> rule1))] @2: Erin is kind.[(((((triple9) -> rule7) triple9) -> rule3))] Harry is cold.[(((((triple10) -> rule1)) -> rule5))] Harry is smart.[(((((triple10) -> rule1)) -> rule4))] @3: Erin is quiet.[(((((((triple9) -> rule7) triple9) -> rule3)) -> rule1))] Harry is blue.[(((((((triple10) -> rule1)) -> rule5)) -> rule7))] @4: Erin is smart.[(((((((((triple9) -> rule7) triple9) -> rule3)) -> rule1)) -> rule4))] @5: Erin is rough.[(((((((((((triple9) -> rule7) triple9) -> rule3)) -> rule1)) -> rule4)) -> rule9))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
((triple2) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple4) -> (rule5 % int2))) -> (rule7 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
triple2
((triple1) -> (rule6 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((triple4) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
((((triple1 triple3) -> (rule2 % int2))) -> (rule5 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
((triple1 triple3) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
((((triple1 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
((((triple2) -> (rule7 % int2)) triple3) -> (rule2 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple2) -> (rule7 % int3)) triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple2) -> (rule7 % int4)) ((triple1) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
((triple4) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
((((triple1 triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
((((((triple1 triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
((((((triple2) -> (rule7 % int3)) triple3) -> (rule2 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((((triple1 ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
((((((((triple2) -> (rule7 % int4)) triple2) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple2) -> (rule7 % int5)) ((triple1) -> (rule6 % int4))) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
Bob is not nice.
("Bob" "is" "nice" "-")
triple6
Bob is rough.
("Bob" "is" "rough" "+")
triple7
((triple8) -> (rule9 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
triple8
Erin is cold.
("Erin" "is" "cold" "+")
triple9
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple11
((((((triple10) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
((triple1 triple2) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
((triple1 ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((triple1 ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((triple2) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple2) -> (rule7 % int3)) ((triple1) -> (rule6 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((((triple2) -> (rule7 % int3)) ((triple4) -> (rule5 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
((triple1 ((((triple1 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2)) triple2) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((triple2) -> (rule7 % int4)) ((((triple1 triple3) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2)) ((triple1) -> (rule6 % int3))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple4) -> (rule5 % int3))) -> (rule7 % int2)) ((triple4) -> (rule5 % int3))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
((((((triple4) -> (rule5 % int4))) -> (rule7 % int3)) ((((triple1 triple3) -> (rule2 % int2))) -> (rule5 % int4))) -> (rule3 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
int4
Anne is rough.
("Anne" "is" "rough" "+")
((triple5) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple4) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
((((((triple1 triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
((((((((triple1 triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
((((((((triple2) -> (rule7 % int4)) triple3) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is blue.
("Anne" "is" "blue" "+")
int4
((((((((triple1 ((triple1) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
((((((((((triple2) -> (rule7 % int5)) triple2) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is blue.
("Anne" "is" "blue" "+")
int5
((((((((((triple2) -> (rule7 % int6)) ((triple1) -> (rule6 % int5))) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is smart.
("Anne" "is" "smart" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Anne is cold.
("Anne" "is" "cold" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
int6
Erin is blue.
("Erin" "is" "blue" "+")
((triple9) -> (rule7 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple10) -> (rule1 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
((((triple9) -> (rule7 % int2)) triple9) -> (rule3 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Harry is cold.
("Harry" "is" "cold" "+")
((((triple10) -> (rule1 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
((((triple10) -> (rule1 % int2))) -> (rule4 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((triple9) -> (rule7 % int3)) triple9) -> (rule3 % int2))) -> (rule1 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
((((((triple10) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule7 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Erin is smart.
("Erin" "is" "smart" "+")
((((((((triple9) -> (rule7 % int4)) triple9) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is smart.
("Erin" "is" "smart" "+")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
((((((((((triple9) -> (rule7 % int5)) triple9) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule9 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is smart.
("Erin" "is" "smart" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
int3
Erin is kind.
("Erin" "is" "kind" "+")
int4
Erin is blue.
("Erin" "is" "blue" "+")
int5