Bob is cold. Bob is furry. Bob is nice. Bob is quiet. Erin is kind. Erin is nice. Erin is quiet. Erin is rough. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is rough. Harry is cold. Harry is green. Harry is nice. All nice, quiet people are furry. All quiet, nice people are cold. Cold, kind people are green. If someone is rough then they are nice. If someone is rough and green then they are quiet. All quiet people are rough. If Erin is green and Erin is kind then Erin is furry. If Bob is nice and Bob is rough then Bob is green.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All nice, quiet people are furry.
((("someone" "is" "nice" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
All quiet, nice people are cold.
((("someone" "is" "quiet" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Cold, kind people are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is rough then they are nice.
((("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and green then they are quiet.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
All quiet people are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
If Erin is green and Erin is kind then Erin is furry.
((("Erin" "is" "green" "+") ("Erin" "is" "kind" "+")) -> ("Erin" "is" "furry" "+"))
If Bob is nice and Bob is rough then Bob is green.
((("Bob" "is" "nice" "+") ("Bob" "is" "rough" "+")) -> ("Bob" "is" "green" "+"))
Erin is nice.
True
1
proof
[(triple6 OR ((triple8) -> rule4) OR ((((triple7) -> rule6)) -> rule4))]
("Erin" "is" "nice" "+")
triple6
((triple8) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Bob is not quiet.
False
1
inv-proof
[(triple4)]
("Bob" "is" "quiet" "-")
triple4
Erin is furry.
True
3
proof
[(((triple6 triple7) -> rule1) OR ((((triple8) -> rule4) triple7) -> rule1) OR ((((((triple7) -> rule6)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule2) triple5) -> rule3) triple5) -> rule7) OR ((((((triple7 ((triple8) -> rule4)) -> rule2) triple5) -> rule3) triple5) -> rule7) OR ((((((triple7 ((((triple7) -> rule6)) -> rule4)) -> rule2) triple5) -> rule3) triple5) -> rule7))]
("Erin" "is" "furry" "+")
((triple6 triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple8) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple7 triple6) -> (rule2 % int3)) triple5) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7 ((triple8) -> (rule4 % int4))) -> (rule2 % int3)) triple5) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple7 ((((triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple5) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Gary is not cold.
False
3
inv-proof
[(((triple12 triple11) -> rule2) OR ((triple12 ((triple13) -> rule4)) -> rule2) OR ((((triple13 triple10) -> rule5) triple11) -> rule2) OR ((((triple13 triple10) -> rule5) ((triple13) -> rule4)) -> rule2) OR ((triple12 ((((triple12) -> rule6)) -> rule4)) -> rule2) OR ((((triple13 triple10) -> rule5) ((((triple12) -> rule6)) -> rule4)) -> rule2))]
("Gary" "is" "cold" "-")
((triple12 triple11) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple12 ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple13 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple13 triple10) -> (rule5 % int3)) ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple12 ((((triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple13 triple10) -> (rule5 % int4)) ((((triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Erin is green.
True
5
proof
[(((((triple7 triple6) -> rule2) triple5) -> rule3) OR ((((triple7 ((triple8) -> rule4)) -> rule2) triple5) -> rule3) OR ((((triple7 ((((triple7) -> rule6)) -> rule4)) -> rule2) triple5) -> rule3))]
("Erin" "is" "green" "+")
((((triple7 triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple7 ((((triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is not green.
False
5
inv-proof
[(((((triple7 triple6) -> rule2) triple5) -> rule3) OR ((((triple7 ((triple8) -> rule4)) -> rule2) triple5) -> rule3) OR ((((triple7 ((((triple7) -> rule6)) -> rule4)) -> rule2) triple5) -> rule3))]
("Erin" "is" "green" "-")
((((triple7 triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple7 ((((triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Harry is not rough.
Unknown
inv-rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is quiet.
Unknown
rconc
[@2: Harry is quiet.[CWA. Example of deepest failure = (rule5 <- rule6 <- FAIL)]]
("Harry" "is" "quiet" "+")
Harry is not furry.
Unknown
inv-rconc
[@3: Harry is furry.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule6 <- FAIL)]]
("Harry" "is" "furry" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Bob is cold.[(triple1 OR ((triple4 triple3) -> rule2) OR ((triple4 ((((triple4) -> rule6)) -> rule4)) -> rule2))] Bob is furry.[(triple2 OR ((triple3 triple4) -> rule1) OR ((((((triple4) -> rule6)) -> rule4) triple4) -> rule1))] Bob is nice.[(triple3 OR ((((triple4) -> rule6)) -> rule4))] Bob is quiet.[(triple4)] Erin is kind.[(triple5)] Erin is nice.[(triple6 OR ((triple8) -> rule4) OR ((((triple7) -> rule6)) -> rule4))] Erin is quiet.[(triple7)] Erin is rough.[(triple8 OR ((triple7) -> rule6))] Gary is furry.[(triple9 OR ((triple11 triple12) -> rule1) OR ((triple11 ((triple13 triple10) -> rule5)) -> rule1) OR ((((triple13) -> rule4) triple12) -> rule1) OR ((((triple13) -> rule4) ((triple13 triple10) -> rule5)) -> rule1) OR ((((((triple12) -> rule6)) -> rule4) triple12) -> rule1) OR ((((((triple12) -> rule6)) -> rule4) ((triple13 triple10) -> rule5)) -> rule1))] Gary is green.[(triple10)] Gary is nice.[(triple11 OR ((triple13) -> rule4) OR ((((triple12) -> rule6)) -> rule4))] Gary is quiet.[(triple12 OR ((triple13 triple10) -> rule5))] Gary is rough.[(triple13 OR ((triple12) -> rule6))] Harry is cold.[(triple14)] Harry is green.[(triple15)] Harry is nice.[(triple16)] @1: Bob is rough.[(((triple4) -> rule6))] Erin is cold.[(((triple7 triple6) -> rule2) OR ((triple7 ((triple8) -> rule4)) -> rule2) OR ((triple7 ((((triple7) -> rule6)) -> rule4)) -> rule2))] Erin is furry.[(((triple6 triple7) -> rule1) OR ((((triple8) -> rule4) triple7) -> rule1) OR ((((((triple7) -> rule6)) -> rule4) triple7) -> rule1) OR ((((((triple7 triple6) -> rule2) triple5) -> rule3) triple5) -> rule7) OR ((((((triple7 ((triple8) -> rule4)) -> rule2) triple5) -> rule3) triple5) -> rule7) OR ((((((triple7 ((((triple7) -> rule6)) -> rule4)) -> rule2) triple5) -> rule3) triple5) -> rule7))] Gary is cold.[(((triple12 triple11) -> rule2) OR ((triple12 ((triple13) -> rule4)) -> rule2) OR ((((triple13 triple10) -> rule5) triple11) -> rule2) OR ((((triple13 triple10) -> rule5) ((triple13) -> rule4)) -> rule2) OR ((triple12 ((((triple12) -> rule6)) -> rule4)) -> rule2) OR ((((triple13 triple10) -> rule5) ((((triple12) -> rule6)) -> rule4)) -> rule2))] @2: Bob is green.[(((triple3 ((triple4) -> rule6)) -> rule8) OR ((((((triple4) -> rule6)) -> rule4) ((triple4) -> rule6)) -> rule8))] Erin is green.[(((((triple7 triple6) -> rule2) triple5) -> rule3) OR ((((triple7 ((triple8) -> rule4)) -> rule2) triple5) -> rule3) OR ((((triple7 ((((triple7) -> rule6)) -> rule4)) -> rule2) triple5) -> rule3))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
((triple4 triple3) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
((triple4 ((((triple4) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
triple2
((triple3 triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
triple3
((((triple4) -> (rule6 % int2))) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is quiet.
("Bob" "is" "quiet" "+")
triple4
Erin is kind.
("Erin" "is" "kind" "+")
triple5
Erin is nice.
("Erin" "is" "nice" "+")
triple6
((triple8) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is quiet.
("Erin" "is" "quiet" "+")
triple7
Erin is rough.
("Erin" "is" "rough" "+")
triple8
((triple7) -> (rule6 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple9
((triple11 triple12) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((triple11 ((triple13 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple13) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple13) -> (rule4 % int3)) ((triple13 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
((((((triple12) -> (rule6 % int3))) -> (rule4 % int2)) triple12) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((((triple12) -> (rule6 % int4))) -> (rule4 % int3)) ((triple13 triple10) -> (rule5 % int2))) -> (rule1 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
triple10
Gary is nice.
("Gary" "is" "nice" "+")
triple11
((triple13) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
((((triple12) -> (rule6 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple12
((triple13 triple10) -> (rule5 % int1))
Gary is quiet.
("Gary" "is" "quiet" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
triple13
((triple12) -> (rule6 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple14
Harry is green.
("Harry" "is" "green" "+")
triple15
Harry is nice.
("Harry" "is" "nice" "+")
triple16
Bob is rough.
("Bob" "is" "rough" "+")
((triple4) -> (rule6 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((triple7 triple6) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
((triple7 ((triple8) -> (rule4 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((triple7 ((((triple7) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((triple6 triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple8) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((((triple7) -> (rule6 % int3))) -> (rule4 % int2)) triple7) -> (rule1 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
((((((triple7 triple6) -> (rule2 % int3)) triple5) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
((((((triple7 ((triple8) -> (rule4 % int4))) -> (rule2 % int3)) triple5) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple7 ((((triple7) -> (rule6 % int5))) -> (rule4 % int4))) -> (rule2 % int3)) triple5) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Erin is rough.
("Erin" "is" "rough" "+")
int5
Gary is cold.
("Gary" "is" "cold" "+")
((triple12 triple11) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
((triple12 ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
((((triple13 triple10) -> (rule5 % int2)) triple11) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is quiet.
("Gary" "is" "quiet" "+")
int2
((((triple13 triple10) -> (rule5 % int3)) ((triple13) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
int3
((triple12 ((((triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
((((triple13 triple10) -> (rule5 % int4)) ((((triple12) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is quiet.
("Gary" "is" "quiet" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((triple3 ((triple4) -> (rule6 % int2))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
((((((triple4) -> (rule6 % int3))) -> (rule4 % int2)) ((triple4) -> (rule6 % int3))) -> (rule8 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((((triple7 triple6) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
((((triple7 ((triple8) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple7 ((((triple7) -> (rule6 % int4))) -> (rule4 % int3))) -> (rule2 % int2)) triple5) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4