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