Bob is cold. Bob is rough. Charlie is cold. Erin is cold. Erin is nice. Fiona is cold. Fiona is furry. Furry, young people are cold. If someone is cold then they are nice. If someone is nice then they are furry. If someone is cold then they are nice. Nice, furry people are green. All green, nice people are red.
Bob is cold.
("Bob" "is" "cold" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Furry, young people are cold.
((("someone" "is" "furry" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they are furry.
((("someone" "is" "nice" "+")) -> ("someone" "is" "furry" "+"))
If someone is cold then they are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Nice, furry people are green.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
All green, nice people are red.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "red" "+"))
Erin is nice.
True
1
proof
[(triple5 OR ((triple4) -> rule2) OR ((triple4) -> rule4))]
("Erin" "is" "nice" "+")
triple5
((triple4) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Bob is not rough.
False
1
inv-proof
[(triple2)]
("Bob" "is" "rough" "-")
triple2
Bob is nice.
True
2
proof
[(((triple1) -> rule2) OR ((triple1) -> rule4))]
("Bob" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is not nice.
False
2
inv-proof
[(((triple3) -> rule2) OR ((triple3) -> rule4))]
("Charlie" "is" "nice" "-")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
True
3
proof
[(((((triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule4)) -> rule3))]
("Charlie" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Fiona is not green.
False
4
inv-proof
[(((((triple6) -> rule2) triple7) -> rule5) OR ((((triple6) -> rule4) triple7) -> rule5) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule5) OR ((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule3)) -> rule5))]
("Fiona" "is" "green" "-")
((((triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple6) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is not rough.
Unknown
inv-random
[@0: Fiona is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "rough" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Fiona is young.
Unknown
random
[@0: Fiona is young.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "young" "+")
Charlie is not rough.
Unknown
inv-random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is cold.[(triple1)] Bob is rough.[(triple2)] Charlie is cold.[(triple3)] Erin is cold.[(triple4)] Erin is nice.[(triple5 OR ((triple4) -> rule2) OR ((triple4) -> rule4))] Fiona is cold.[(triple6)] Fiona is furry.[(triple7 OR ((((triple6) -> rule2)) -> rule3) OR ((((triple6) -> rule4)) -> rule3))] @1: Bob is nice.[(((triple1) -> rule2) OR ((triple1) -> rule4))] Charlie is nice.[(((triple3) -> rule2) OR ((triple3) -> rule4))] Erin is furry.[(((triple5) -> rule3) OR ((((triple4) -> rule2)) -> rule3) OR ((((triple4) -> rule4)) -> rule3))] Fiona is nice.[(((triple6) -> rule2) OR ((triple6) -> rule4))] @2: Bob is furry.[(((((triple1) -> rule2)) -> rule3) OR ((((triple1) -> rule4)) -> rule3))] Charlie is furry.[(((((triple3) -> rule2)) -> rule3) OR ((((triple3) -> rule4)) -> rule3))] Erin is green.[(((triple5 ((triple5) -> rule3)) -> rule5) OR ((((triple4) -> rule2) ((triple5) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((triple5) -> rule3)) -> rule5) OR ((triple5 ((((triple4) -> rule2)) -> rule3)) -> rule5) OR ((triple5 ((((triple4) -> rule4)) -> rule3)) -> rule5) OR ((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((triple4) -> rule2) ((((triple4) -> rule4)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((((triple4) -> rule2)) -> rule3)) -> rule5) OR ((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule3)) -> rule5))] Fiona is green.[(((((triple6) -> rule2) triple7) -> rule5) OR ((((triple6) -> rule4) triple7) -> rule5) OR ((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule5) OR ((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule3)) -> rule5) OR ((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule3)) -> rule5))] @3: Bob is green.[(((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((triple1) -> rule2) ((((triple1) -> rule4)) -> rule3)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule2)) -> rule3)) -> rule5) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule5))] Charlie is green.[(((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple3) -> rule2) ((((triple3) -> rule4)) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((((triple3) -> rule2)) -> rule3)) -> rule5) OR ((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5))] Erin is red.[(((((triple5 ((triple5) -> rule3)) -> rule5) triple5) -> rule6) OR ((((triple5 ((triple5) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((triple5 ((triple5) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule2) ((triple5) -> rule3)) -> rule5) triple5) -> rule6) OR ((((((triple4) -> rule4) ((triple5) -> rule3)) -> rule5) triple5) -> rule6) OR ((((((triple4) -> rule2) ((triple5) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4) -> rule2) ((triple5) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule4) ((triple5) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4) -> rule4) ((triple5) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((triple5 ((((triple4) -> rule2)) -> rule3)) -> rule5) triple5) -> rule6) OR ((((triple5 ((((triple4) -> rule4)) -> rule3)) -> rule5) triple5) -> rule6) OR ((((triple5 ((((triple4) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((triple5 ((((triple4) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((triple5 ((((triple4) -> rule4)) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((triple5 ((((triple4) -> rule4)) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule5) triple5) -> rule6) OR ((((((triple4) -> rule2) ((((triple4) -> rule4)) -> rule3)) -> rule5) triple5) -> rule6) OR ((((((triple4) -> rule4) ((((triple4) -> rule2)) -> rule3)) -> rule5) triple5) -> rule6) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule3)) -> rule5) triple5) -> rule6) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4) -> rule2) ((((triple4) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule2) ((((triple4) -> rule4)) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4) -> rule2) ((((triple4) -> rule4)) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule4) ((((triple4) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4) -> rule4) ((((triple4) -> rule2)) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule3)) -> rule5) ((triple4) -> rule2)) -> rule6) OR ((((((triple4) -> rule4) ((((triple4) -> rule4)) -> rule3)) -> rule5) ((triple4) -> rule4)) -> rule6))] Fiona is red.[(((((((triple6) -> rule2) triple7) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule2) triple7) -> rule5) ((triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) triple7) -> rule5) ((triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule2) ((((triple6) -> rule2)) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule3)) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule2) ((((triple6) -> rule4)) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule3)) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) ((((triple6) -> rule2)) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule6) OR ((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule3)) -> rule5) ((triple6) -> rule2)) -> rule6) OR ((((((triple6) -> rule4) ((((triple6) -> rule4)) -> rule3)) -> rule5) ((triple6) -> rule4)) -> rule6))] @4: Bob is red.[(((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule5) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule2) ((((triple1) -> rule2)) -> rule3)) -> rule5) ((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule2) ((((triple1) -> rule4)) -> rule3)) -> rule5) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule2) ((((triple1) -> rule4)) -> rule3)) -> rule5) ((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule4) ((((triple1) -> rule2)) -> rule3)) -> rule5) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule4) ((((triple1) -> rule2)) -> rule3)) -> rule5) ((triple1) -> rule4)) -> rule6) OR ((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule5) ((triple1) -> rule2)) -> rule6) OR ((((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule3)) -> rule5) ((triple1) -> rule4)) -> rule6))] Charlie is red.[(((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule3)) -> rule5) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) ((((triple3) -> rule2)) -> rule3)) -> rule5) ((triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule2) ((((triple3) -> rule4)) -> rule3)) -> rule5) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule2) ((((triple3) -> rule4)) -> rule3)) -> rule5) ((triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule4) ((((triple3) -> rule2)) -> rule3)) -> rule5) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule4) ((((triple3) -> rule2)) -> rule3)) -> rule5) ((triple3) -> rule4)) -> rule6) OR ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5) ((triple3) -> rule2)) -> rule6) OR ((((((triple3) -> rule4) ((((triple3) -> rule4)) -> rule3)) -> rule5) ((triple3) -> rule4)) -> rule6))]
Bob is cold.
("Bob" "is" "cold" "+")
triple1
Bob is rough.
("Bob" "is" "rough" "+")
triple2
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is nice.
("Erin" "is" "nice" "+")
triple5
((triple4) -> (rule2 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
((triple4) -> (rule4 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple6
Fiona is furry.
("Fiona" "is" "furry" "+")
triple7
((((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple6) -> (rule4 % int2))) -> (rule3 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple1) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((triple1) -> (rule4 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple3) -> (rule2 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
((triple3) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
((triple5) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
((((triple4) -> (rule4 % int2))) -> (rule3 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple6) -> (rule2 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((triple6) -> (rule4 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
((((triple1) -> (rule2 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple1) -> (rule4 % int2))) -> (rule3 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
((triple5 ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
((((triple4) -> (rule2 % int3)) ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple4) -> (rule4 % int3)) ((triple5) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple5 ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((triple5 ((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple4) -> (rule2 % int3)) ((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple4) -> (rule4 % int3)) ((((triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
((((triple4) -> (rule4 % int3)) ((((triple4) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Fiona is green.
("Fiona" "is" "green" "+")
((((triple6) -> (rule2 % int2)) triple7) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple6) -> (rule4 % int2)) triple7) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple6) -> (rule2 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple6) -> (rule4 % int3)) ((((triple6) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Bob is green.
("Bob" "is" "green" "+")
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule2 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Charlie is green.
("Charlie" "is" "green" "+")
((((triple3) -> (rule2 % int3)) ((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule2 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
((((triple3) -> (rule4 % int3)) ((((triple3) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Erin is red.
("Erin" "is" "red" "+")
((((triple5 ((triple5) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
((((triple5 ((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4) -> (rule2 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((triple5 ((triple5) -> (rule3 % int4))) -> (rule5 % int3)) ((triple4) -> (rule4 % int2))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((triple4) -> (rule2 % int4)) ((triple5) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple5) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule2 % int4)) ((triple5) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule2 % int4)) ((triple5) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple5) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((triple5) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple5 ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple5 ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple5 ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple5 ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple5 ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((triple5 ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) triple5) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule2 % int4)) ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((((triple4) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule2 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
((((((triple4) -> (rule4 % int4)) ((((triple4) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple4) -> (rule4 % int4))) -> (rule6 % int1))
Erin is red.
("Erin" "is" "red" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is nice.
("Erin" "is" "nice" "+")
int4
Fiona is red.
("Fiona" "is" "red" "+")
((((((triple6) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple6) -> (rule2 % int3)) triple7) -> (rule5 % int2)) ((triple6) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple6) -> (rule4 % int3)) triple7) -> (rule5 % int2)) ((triple6) -> (rule2 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple6) -> (rule4 % int3)) triple7) -> (rule5 % int2)) ((triple6) -> (rule4 % int3))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple6) -> (rule2 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule2 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple6) -> (rule4 % int4)) ((((triple6) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple6) -> (rule4 % int4))) -> (rule6 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is green.
("Fiona" "is" "green" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Bob is red.
("Bob" "is" "red" "+")
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule2 % int4))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int4))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule2 % int4))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple1) -> (rule2 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int4))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule2 % int4))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int4))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule2 % int4))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple1) -> (rule4 % int4)) ((((triple1) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple1) -> (rule4 % int4))) -> (rule6 % int1))
Bob is red.
("Bob" "is" "red" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
((((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule2 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule2 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule2 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule2 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule2 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
((((((triple3) -> (rule4 % int4)) ((((triple3) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2)) ((triple3) -> (rule4 % int4))) -> (rule6 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4