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