Anne is nice. Bob is red. Erin is furry. Erin is rough. Gary is furry. Gary is red. Gary is rough. Nice, furry people are cold. All nice, red people are green. If someone is furry then they are green. Red people are rough. Nice people are blue. All green people are nice. Rough people are furry.
Anne is nice.
("Anne" "is" "nice" "+")
Bob is red.
("Bob" "is" "red" "+")
Erin is furry.
("Erin" "is" "furry" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Nice, furry people are cold.
((("someone" "is" "nice" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "cold" "+"))
All nice, red people are green.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is furry then they are green.
((("someone" "is" "furry" "+")) -> ("someone" "is" "green" "+"))
Red people are rough.
((("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
Nice people are blue.
((("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
All green people are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
Rough people are furry.
((("someone" "is" "rough" "+")) -> ("someone" "is" "furry" "+"))
Gary is rough.
True
1
proof
[(triple7 OR ((triple6) -> rule4))]
("Gary" "is" "rough" "+")
triple7
((triple6) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not furry.
False
1
inv-proof
[(triple5 OR ((triple7) -> rule7) OR ((((triple6) -> rule4)) -> rule7))]
("Gary" "is" "furry" "-")
triple5
((triple7) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Bob is rough.
True
2
proof
[(((triple2) -> rule4))]
("Bob" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Anne is not blue.
False
2
inv-proof
[(((triple1) -> rule5))]
("Anne" "is" "blue" "-")
((triple1) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Erin is nice.
True
3
proof
[(((((triple3) -> rule3)) -> rule6) OR ((((((triple4) -> rule7)) -> rule3)) -> rule6))]
("Erin" "is" "nice" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Bob is not furry.
False
3
inv-proof
[(((((triple2) -> rule4)) -> rule7))]
("Bob" "is" "furry" "-")
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is cold.
True
5
proof
[(((((((triple3) -> rule3)) -> rule6) triple3) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) ((triple4) -> rule7)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) triple3) -> rule1) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) ((triple4) -> rule7)) -> rule1))]
("Erin" "is" "cold" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple3) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int4))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Gary is not blue.
False
4
inv-proof
[(((((((triple5) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule6)) -> rule5) OR ((((((((((triple6) -> rule4)) -> rule7)) -> rule3)) -> rule6)) -> rule5))]
("Gary" "is" "blue" "-")
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((((triple6) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Bob is nice.
True
5
proof
[(((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule6))]
("Bob" "is" "nice" "+")
((((((((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is not nice.
False
5
inv-proof
[(((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule6))]
("Bob" "is" "nice" "-")
((((((((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is cold.
True
9
proof
[(((((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule6) ((((triple2) -> rule4)) -> rule7)) -> rule1))]
("Bob" "is" "cold" "+")
((((((((((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is not blue.
False
6
inv-proof
[(((((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule6)) -> rule5))]
("Bob" "is" "blue" "-")
((((((((((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Anne is not furry.
Unknown
inv-rconc
[@2: Anne is furry.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Anne" "is" "furry" "-")
Anne is cold.
Unknown
rconc
[@3: Anne is cold.[CWA. Example of deepest failure = (rule1 <- rule7 <- rule4 <- FAIL)]]
("Anne" "is" "cold" "+")
Anne is not green.
Unknown
inv-rconc
[@3: Anne is green.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule4 <- FAIL)]]
("Anne" "is" "green" "-")
Anne is rough.
Unknown
rconc
[@1: Anne is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "rough" "+")
Erin is not red.
Unknown
inv-random
[@0: Erin is red.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "red" "-")
Anne is red.
Unknown
random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "+")
@0: Anne is nice.[(triple1)] Bob is red.[(triple2)] Erin is furry.[(triple3 OR ((triple4) -> rule7))] Erin is rough.[(triple4)] Gary is furry.[(triple5 OR ((triple7) -> rule7) OR ((((triple6) -> rule4)) -> rule7))] Gary is red.[(triple6)] Gary is rough.[(triple7 OR ((triple6) -> rule4))] @1: Anne is blue.[(((triple1) -> rule5))] Bob is rough.[(((triple2) -> rule4))] Erin is green.[(((triple3) -> rule3) OR ((((triple4) -> rule7)) -> rule3))] Gary is green.[(((triple5) -> rule3) OR ((((triple7) -> rule7)) -> rule3) OR ((((((triple6) -> rule4)) -> rule7)) -> rule3))] @2: Bob is furry.[(((((triple2) -> rule4)) -> rule7))] Erin is nice.[(((((triple3) -> rule3)) -> rule6) OR ((((((triple4) -> rule7)) -> rule3)) -> rule6))] Gary is nice.[(((((triple5) -> rule3)) -> rule6) OR ((((((triple7) -> rule7)) -> rule3)) -> rule6) OR ((((((((triple6) -> rule4)) -> rule7)) -> rule3)) -> rule6))] @3: Bob is green.[(((((((triple2) -> rule4)) -> rule7)) -> rule3))] Erin is blue.[(((((((triple3) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6)) -> rule5))] Erin is cold.[(((((((triple3) -> rule3)) -> rule6) triple3) -> rule1) OR ((((((triple3) -> rule3)) -> rule6) ((triple4) -> rule7)) -> rule1) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) triple3) -> rule1) OR ((((((((triple4) -> rule7)) -> rule3)) -> rule6) ((triple4) -> rule7)) -> rule1))] Gary is blue.[(((((((triple5) -> rule3)) -> rule6)) -> rule5) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule6)) -> rule5) OR ((((((((((triple6) -> rule4)) -> rule7)) -> rule3)) -> rule6)) -> rule5))] Gary is cold.[(((((((triple5) -> rule3)) -> rule6) triple5) -> rule1) OR ((((((triple5) -> rule3)) -> rule6) ((triple7) -> rule7)) -> rule1) OR ((((((triple5) -> rule3)) -> rule6) ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule6) triple5) -> rule1) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule6) ((triple7) -> rule7)) -> rule1) OR ((((((((triple7) -> rule7)) -> rule3)) -> rule6) ((((triple6) -> rule4)) -> rule7)) -> rule1) OR ((((((((((triple6) -> rule4)) -> rule7)) -> rule3)) -> rule6) triple5) -> rule1) OR ((((((((((triple6) -> rule4)) -> rule7)) -> rule3)) -> rule6) ((triple7) -> rule7)) -> rule1) OR ((((((((((triple6) -> rule4)) -> rule7)) -> rule3)) -> rule6) ((((triple6) -> rule4)) -> rule7)) -> rule1))] @4: Bob is nice.[(((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule6))] @5: Bob is blue.[(((((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule6)) -> rule5))] Bob is cold.[(((((((((((triple2) -> rule4)) -> rule7)) -> rule3)) -> rule6) ((((triple2) -> rule4)) -> rule7)) -> rule1))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
Bob is red.
("Bob" "is" "red" "+")
triple2
Erin is furry.
("Erin" "is" "furry" "+")
triple3
((triple4) -> (rule7 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Gary is furry.
("Gary" "is" "furry" "+")
triple5
((triple7) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
((((triple6) -> (rule4 % int2))) -> (rule7 % int1))
Gary is furry.
("Gary" "is" "furry" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is red.
("Gary" "is" "red" "+")
triple6
Gary is rough.
("Gary" "is" "rough" "+")
triple7
((triple6) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
((triple3) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
((((triple4) -> (rule7 % int2))) -> (rule3 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple5) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
((((triple7) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
((((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
((((triple2) -> (rule4 % int2))) -> (rule7 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
((((triple3) -> (rule3 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
((((((triple4) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple5) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
((((((triple7) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
((((((((triple6) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is furry.
("Gary" "is" "furry" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Bob is green.
("Bob" "is" "green" "+")
((((((triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
((((((triple3) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
((((((triple3) -> (rule3 % int4))) -> (rule6 % int3)) ((triple4) -> (rule7 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is nice.
("Erin" "is" "nice" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple3) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
((((((((triple4) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple4) -> (rule7 % int4))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Gary is blue.
("Gary" "is" "blue" "+")
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((((triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((((triple6) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple5) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
((((((triple5) -> (rule3 % int4))) -> (rule6 % int3)) ((triple7) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
((((((triple5) -> (rule3 % int5))) -> (rule6 % int4)) ((((triple6) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is green.
("Gary" "is" "green" "+")
int5
((((((((triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple7) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple7) -> (rule7 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
((((((((triple7) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule6 % int3)) ((((triple6) -> (rule4 % int2))) -> (rule7 % int5))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is green.
("Gary" "is" "green" "+")
int4
Gary is furry.
("Gary" "is" "furry" "+")
int5
((((((((((triple6) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) triple5) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((((triple6) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((triple7) -> (rule7 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
((((((((((triple6) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple6) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is furry.
("Gary" "is" "furry" "+")
int4
Gary is rough.
("Gary" "is" "rough" "+")
int5
Bob is nice.
("Bob" "is" "nice" "+")
((((((((triple2) -> (rule4 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is green.
("Bob" "is" "green" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
((((((((((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
((((((((((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule6 % int2)) ((((triple2) -> (rule4 % int5))) -> (rule7 % int4))) -> (rule1 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is green.
("Bob" "is" "green" "+")
int3
Bob is furry.
("Bob" "is" "furry" "+")
int4
Bob is rough.
("Bob" "is" "rough" "+")
int5