Anne is furry. Anne is round. Anne is young. Bob is kind. Bob is round. Bob is white. Fiona is cold. Fiona is round. Fiona is white. Gary is furry. If something is kind and round then it is young. If something is round and nice then it is cold. All kind things are round. If something is round and cold then it is young. If something is nice and young then it is white. If something is cold then it is round. Furry things are round. If Bob is cold then Bob is white. All round things are nice.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is white.
("Bob" "is" "white" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is furry.
("Gary" "is" "furry" "+")
If something is kind and round then it is young.
((("something" "is" "kind" "+") ("something" "is" "round" "+")) -> ("something" "is" "young" "+"))
If something is round and nice then it is cold.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "+"))
All kind things are round.
((("something" "is" "kind" "+")) -> ("something" "is" "round" "+"))
If something is round and cold then it is young.
((("something" "is" "round" "+") ("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is nice and young then it is white.
((("something" "is" "nice" "+") ("something" "is" "young" "+")) -> ("something" "is" "white" "+"))
If something is cold then it is round.
((("something" "is" "cold" "+")) -> ("something" "is" "round" "+"))
Furry things are round.
((("something" "is" "furry" "+")) -> ("something" "is" "round" "+"))
If Bob is cold then Bob is white.
((("Bob" "is" "cold" "+")) -> ("Bob" "is" "white" "+"))
All round things are nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
Fiona is cold.
True
1
proof
[(triple7 OR ((triple8 ((triple8) -> rule9)) -> rule2))]
("Fiona" "is" "cold" "+")
triple7
((triple8 ((triple8) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is not round.
False
1
inv-proof
[(triple8 OR ((triple7) -> rule6))]
("Fiona" "is" "round" "-")
triple8
((triple7) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is round.
True
2
proof
[(((triple10) -> rule7))]
("Gary" "is" "round" "+")
((triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not round.
False
2
inv-proof
[(((triple10) -> rule7))]
("Gary" "is" "round" "-")
((triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is white.
True
4
proof
[(((((triple2) -> rule9) triple3) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) triple3) -> rule5) OR ((((triple2) -> rule9) ((triple2 ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((triple2 ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((triple1) -> rule7) ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((triple2 ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((triple2 ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((((triple1) -> rule7) ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((triple2 ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((triple2 ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((triple2 ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((triple1) -> rule7) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((triple2 ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((((triple1) -> rule7) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5))]
("Anne" "is" "white" "+")
((((triple2) -> (rule9 % int2)) triple3) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule9 % int2)) triple3) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple2) -> (rule9 % int4)) ((triple2 ((triple2 ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple2) -> (rule9 % int5)) ((triple2 ((((triple1) -> (rule7 % int4)) ((triple2) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4)) ((triple2 ((triple2) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((triple2 ((triple2 ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((triple2) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((triple2 ((((triple1) -> (rule7 % int5)) ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int5)) ((triple2 ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5)) ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2) -> (rule9 % int5)) ((triple2 ((triple2 ((((triple1) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2) -> (rule9 % int5)) ((triple2 ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4)) ((triple2 ((((triple1) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((triple2 ((triple2 ((((triple1) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((triple2 ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int5)) ((triple2 ((((triple1) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Bob is not cold.
False
4
inv-proof
[(((triple5 ((triple5) -> rule9)) -> rule2) OR ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2) OR ((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2) OR ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2))]
("Bob" "is" "cold" "-")
((triple5 ((triple5) -> (rule9 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple5) -> (rule9 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple5 ((((triple4) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4) -> (rule3 % int3)) ((((triple4) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Gary is cold.
True
6
proof
[(((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2))]
("Gary" "is" "cold" "+")
((((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not cold.
False
6
inv-proof
[(((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2))]
("Gary" "is" "cold" "-")
((((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
True
9
proof
[(((((triple10) -> rule7) ((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule4))]
("Gary" "is" "young" "+")
((((triple10) -> (rule7 % int4)) ((((triple10) -> (rule7 % int4)) ((((triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is not young.
False
9
inv-proof
[(((((triple10) -> rule7) ((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule4))]
("Gary" "is" "young" "-")
((((triple10) -> (rule7 % int4)) ((((triple10) -> (rule7 % int4)) ((((triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
True
13
proof
[(((((((triple10) -> rule7)) -> rule9) ((((triple10) -> rule7) ((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5))]
("Gary" "is" "white" "+")
((((((triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple10) -> (rule7 % int5)) ((((triple10) -> (rule7 % int5)) ((((triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Gary is not white.
False
13
inv-proof
[(((((((triple10) -> rule7)) -> rule9) ((((triple10) -> rule7) ((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5))]
("Gary" "is" "white" "-")
((((((triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple10) -> (rule7 % int5)) ((((triple10) -> (rule7 % int5)) ((((triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5
Anne is not kind.
Unknown
inv-random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "-")
Bob is furry.
Unknown
random
[@0: Bob is furry.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "furry" "+")
Fiona is not kind.
Unknown
inv-random
[@0: Fiona is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "kind" "-")
Fiona is furry.
Unknown
random
[@0: Fiona is furry.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "furry" "+")
@0: Anne is furry.[(triple1)] Anne is round.[(triple2 OR ((triple1) -> rule7))] Anne is young.[(triple3 OR ((triple2 ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4) OR ((triple2 ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4) OR ((((triple1) -> rule7) ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4) OR ((triple2 ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4) OR ((triple2 ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4) OR ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4) OR ((((triple1) -> rule7) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4))] Bob is kind.[(triple4)] Bob is round.[(triple5 OR ((triple4) -> rule3))] Bob is white.[(triple6 OR ((((triple5) -> rule9) ((triple4 triple5) -> rule1)) -> rule5) OR ((((triple5 ((triple5) -> rule9)) -> rule2)) -> rule8) OR ((((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2)) -> rule8) OR ((((triple5) -> rule9) ((triple4 ((triple4) -> rule3)) -> rule1)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((triple4 triple5) -> rule1)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((triple4 ((triple4) -> rule3)) -> rule1)) -> rule5) OR ((((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule8) OR ((((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule8) OR ((((triple5) -> rule9) ((triple5 ((triple5 ((triple5) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple5) -> rule9) ((triple5 ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple5) -> rule9) ((((triple4) -> rule3) ((triple5 ((triple5) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((triple5 ((triple5 ((triple5) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple5) -> rule9) ((((triple4) -> rule3) ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((triple5 ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((((triple4) -> rule3) ((triple5 ((triple5) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((((triple4) -> rule3) ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple5) -> rule9) ((triple5 ((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple5) -> rule9) ((triple5 ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple5) -> rule9) ((((triple4) -> rule3) ((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((triple5 ((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple5) -> rule9) ((((triple4) -> rule3) ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((triple5 ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((((triple4) -> rule3) ((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple4) -> rule3)) -> rule9) ((((triple4) -> rule3) ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4)) -> rule5))] Fiona is cold.[(triple7 OR ((triple8 ((triple8) -> rule9)) -> rule2))] Fiona is round.[(triple8 OR ((triple7) -> rule6))] Fiona is white.[(triple9 OR ((((triple8) -> rule9) ((triple8 triple7) -> rule4)) -> rule5) OR ((((triple8) -> rule9) ((((triple7) -> rule6) triple7) -> rule4)) -> rule5) OR ((((((triple7) -> rule6)) -> rule9) ((triple8 triple7) -> rule4)) -> rule5) OR ((((((triple7) -> rule6)) -> rule9) ((((triple7) -> rule6) triple7) -> rule4)) -> rule5) OR ((((triple8) -> rule9) ((triple8 ((triple8 ((triple8) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple8) -> rule9) ((((triple7) -> rule6) ((triple8 ((triple8) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple7) -> rule6)) -> rule9) ((triple8 ((triple8 ((triple8) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple7) -> rule6)) -> rule9) ((((triple7) -> rule6) ((triple8 ((triple8) -> rule9)) -> rule2)) -> rule4)) -> rule5))] Gary is furry.[(triple10)] @1: Anne is nice.[(((triple2) -> rule9) OR ((((triple1) -> rule7)) -> rule9))] Bob is nice.[(((triple5) -> rule9) OR ((((triple4) -> rule3)) -> rule9))] Bob is young.[(((triple4 triple5) -> rule1) OR ((triple4 ((triple4) -> rule3)) -> rule1) OR ((triple5 ((triple5 ((triple5) -> rule9)) -> rule2)) -> rule4) OR ((triple5 ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2)) -> rule4) OR ((((triple4) -> rule3) ((triple5 ((triple5) -> rule9)) -> rule2)) -> rule4) OR ((((triple4) -> rule3) ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2)) -> rule4) OR ((triple5 ((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4) OR ((triple5 ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4) OR ((((triple4) -> rule3) ((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4) OR ((((triple4) -> rule3) ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2)) -> rule4))] Fiona is nice.[(((triple8) -> rule9) OR ((((triple7) -> rule6)) -> rule9))] Fiona is young.[(((triple8 triple7) -> rule4) OR ((((triple7) -> rule6) triple7) -> rule4) OR ((triple8 ((triple8 ((triple8) -> rule9)) -> rule2)) -> rule4) OR ((((triple7) -> rule6) ((triple8 ((triple8) -> rule9)) -> rule2)) -> rule4))] Gary is round.[(((triple10) -> rule7))] @2: Anne is cold.[(((triple2 ((triple2) -> rule9)) -> rule2) OR ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2) OR ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2) OR ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2))] Anne is white.[(((((triple2) -> rule9) triple3) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) triple3) -> rule5) OR ((((triple2) -> rule9) ((triple2 ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((triple2 ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((triple1) -> rule7) ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((triple2 ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((triple2 ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((((triple1) -> rule7) ((triple2 ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((((triple1) -> rule7) ((((triple1) -> rule7) ((triple2) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((triple2 ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((triple2 ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((triple2 ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((triple2) -> rule9) ((((triple1) -> rule7) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((triple2 ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((((triple1) -> rule7) ((triple2 ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5) OR ((((((triple1) -> rule7)) -> rule9) ((((triple1) -> rule7) ((((triple1) -> rule7) ((((triple1) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5))] Bob is cold.[(((triple5 ((triple5) -> rule9)) -> rule2) OR ((((triple4) -> rule3) ((triple5) -> rule9)) -> rule2) OR ((triple5 ((((triple4) -> rule3)) -> rule9)) -> rule2) OR ((((triple4) -> rule3) ((((triple4) -> rule3)) -> rule9)) -> rule2))] Gary is nice.[(((((triple10) -> rule7)) -> rule9))] @3: Gary is cold.[(((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2))] @4: Gary is young.[(((((triple10) -> rule7) ((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule4))] @5: Gary is white.[(((((((triple10) -> rule7)) -> rule9) ((((triple10) -> rule7) ((((triple10) -> rule7) ((((triple10) -> rule7)) -> rule9)) -> rule2)) -> rule4)) -> rule5))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
((triple1) -> (rule7 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
triple3
((triple2 ((triple2 ((triple2) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
((triple2 ((((triple1) -> (rule7 % int4)) ((triple2) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule7 % int4)) ((triple2 ((triple2) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((triple2) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple2 ((triple2 ((((triple1) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((triple2 ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule7 % int4)) ((triple2 ((((triple1) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is nice.
("Anne" "is" "nice" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Bob is kind.
("Bob" "is" "kind" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple5
((triple4) -> (rule3 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple6
((((triple5) -> (rule9 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((triple5 ((triple5) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((((((triple4) -> (rule3 % int4)) ((triple5) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple5) -> (rule9 % int4)) ((triple4 ((triple4) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((((triple4) -> (rule3 % int4))) -> (rule9 % int3)) ((triple4 triple5) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4))) -> (rule9 % int3)) ((triple4 ((triple4) -> (rule3 % int4))) -> (rule1 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple5 ((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule8 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple5) -> (rule9 % int4)) ((triple5 ((triple5 ((triple5) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
((((triple5) -> (rule9 % int5)) ((triple5 ((((triple4) -> (rule3 % int4)) ((triple5) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule9 % int5)) ((((triple4) -> (rule3 % int4)) ((triple5 ((triple5) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule9 % int4)) ((triple5 ((triple5 ((triple5) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple5) -> (rule9 % int5)) ((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4)) ((triple5) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule9 % int4)) ((triple5 ((((triple4) -> (rule3 % int5)) ((triple5) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule9 % int4)) ((((triple4) -> (rule3 % int5)) ((triple5 ((triple5) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule9 % int4)) ((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5)) ((triple5) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple5) -> (rule9 % int5)) ((triple5 ((triple5 ((((triple4) -> (rule3 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule9 % int5)) ((triple5 ((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((triple5) -> (rule9 % int5)) ((((triple4) -> (rule3 % int4)) ((triple5 ((((triple4) -> (rule3 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule9 % int4)) ((triple5 ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((triple5) -> (rule9 % int5)) ((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Bob is nice.
("Bob" "is" "nice" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule9 % int4)) ((triple5 ((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule9 % int4)) ((((triple4) -> (rule3 % int5)) ((triple5 ((((triple4) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
((((((triple4) -> (rule3 % int5))) -> (rule9 % int4)) ((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5)) ((((triple4) -> (rule3 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is nice.
("Bob" "is" "nice" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
int5
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
((triple8 ((triple8) -> (rule9 % int2))) -> (rule2 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
triple8
((triple7) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple9
((((triple8) -> (rule9 % int3)) ((triple8 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple8) -> (rule9 % int4)) ((((triple7) -> (rule6 % int3)) triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule9 % int3)) ((triple8 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((((triple7) -> (rule6 % int4))) -> (rule9 % int3)) ((((triple7) -> (rule6 % int4)) triple7) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
((((triple8) -> (rule9 % int4)) ((triple8 ((triple8 ((triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
((((triple8) -> (rule9 % int5)) ((((triple7) -> (rule6 % int4)) ((triple8 ((triple8) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
int5
((((((triple7) -> (rule6 % int5))) -> (rule9 % int4)) ((triple8 ((triple8 ((triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
((((((triple7) -> (rule6 % int5))) -> (rule9 % int4)) ((((triple7) -> (rule6 % int5)) ((triple8 ((triple8) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is nice.
("Fiona" "is" "nice" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule9 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
((((triple1) -> (rule7 % int2))) -> (rule9 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
((triple5) -> (rule9 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule9 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
((triple4 triple5) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
((triple4 ((triple4) -> (rule3 % int2))) -> (rule1 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is round.
("Bob" "is" "round" "+")
int2
((triple5 ((triple5 ((triple5) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
((triple5 ((((triple4) -> (rule3 % int4)) ((triple5) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4) -> (rule3 % int4)) ((triple5 ((triple5) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4)) ((triple5) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((triple5 ((triple5 ((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((triple5 ((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4) -> (rule3 % int4)) ((triple5 ((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4)) ((((triple4) -> (rule3 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is nice.
("Bob" "is" "nice" "+")
int3
Bob is round.
("Bob" "is" "round" "+")
int4
Fiona is nice.
("Fiona" "is" "nice" "+")
((triple8) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
((((triple7) -> (rule6 % int2))) -> (rule9 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
((triple8 triple7) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((((triple7) -> (rule6 % int2)) triple7) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
((triple8 ((triple8 ((triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
((((triple7) -> (rule6 % int4)) ((triple8 ((triple8) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
((triple10) -> (rule7 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
((triple2 ((triple2) -> (rule9 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple1) -> (rule7 % int3)) ((triple2) -> (rule9 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((triple2 ((((triple1) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple1) -> (rule7 % int3)) ((((triple1) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
Anne is white.
("Anne" "is" "white" "+")
((((triple2) -> (rule9 % int2)) triple3) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((((triple1) -> (rule7 % int3))) -> (rule9 % int2)) triple3) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple2) -> (rule9 % int4)) ((triple2 ((triple2 ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
((((triple2) -> (rule9 % int5)) ((triple2 ((((triple1) -> (rule7 % int4)) ((triple2) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4)) ((triple2 ((triple2) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((triple2 ((triple2 ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((triple2) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((triple2 ((((triple1) -> (rule7 % int5)) ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int5)) ((triple2 ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5)) ((triple2) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2) -> (rule9 % int5)) ((triple2 ((triple2 ((((triple1) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2) -> (rule9 % int5)) ((triple2 ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((triple2) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4)) ((triple2 ((((triple1) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((triple2 ((triple2 ((((triple1) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((triple2) -> (rule9 % int5)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4)) ((((triple1) -> (rule7 % int4))) -> (rule9 % int5))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is round.
("Anne" "is" "round" "+")
int4
Anne is nice.
("Anne" "is" "nice" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((triple2 ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int5)) ((triple2 ((((triple1) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
((((((triple1) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5)) ((((triple1) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is nice.
("Anne" "is" "nice" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
int5
Bob is cold.
("Bob" "is" "cold" "+")
((triple5 ((triple5) -> (rule9 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
((((triple4) -> (rule3 % int3)) ((triple5) -> (rule9 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((triple5 ((((triple4) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
((((triple4) -> (rule3 % int3)) ((((triple4) -> (rule3 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is nice.
("Bob" "is" "nice" "+")
int2
Bob is round.
("Bob" "is" "round" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
((((triple10) -> (rule7 % int2))) -> (rule9 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
((((triple10) -> (rule7 % int3)) ((((triple10) -> (rule7 % int3))) -> (rule9 % int2))) -> (rule2 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
((((triple10) -> (rule7 % int4)) ((((triple10) -> (rule7 % int4)) ((((triple10) -> (rule7 % int4))) -> (rule9 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
int4
Gary is white.
("Gary" "is" "white" "+")
((((((triple10) -> (rule7 % int5))) -> (rule9 % int4)) ((((triple10) -> (rule7 % int5)) ((((triple10) -> (rule7 % int5)) ((((triple10) -> (rule7 % int5))) -> (rule9 % int4))) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is nice.
("Gary" "is" "nice" "+")
int4
Gary is round.
("Gary" "is" "round" "+")
int5