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