Anne is cold. Anne is round. Charlie is big. Charlie is furry. Charlie is green. Charlie is red. Charlie is round. Charlie is young. Fiona is green. Fiona is young. Gary is cold. Gary is red. If something is furry then it is cold. Round things are furry. If Gary is green and Gary is round then Gary is big. Cold, green things are red. All red, big things are young. If Fiona is young and Fiona is green then Fiona is round. Red things are big. All green, big things are red.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is red.
("Gary" "is" "red" "+")
If something is furry then it is cold.
((("something" "is" "furry" "+")) -> ("something" "is" "cold" "+"))
Round things are furry.
((("something" "is" "round" "+")) -> ("something" "is" "furry" "+"))
If Gary is green and Gary is round then Gary is big.
((("Gary" "is" "green" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "big" "+"))
Cold, green things are red.
((("something" "is" "cold" "+") ("something" "is" "green" "+")) -> ("something" "is" "red" "+"))
All red, big things are young.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If Fiona is young and Fiona is green then Fiona is round.
((("Fiona" "is" "young" "+") ("Fiona" "is" "green" "+")) -> ("Fiona" "is" "round" "+"))
Red things are big.
((("something" "is" "red" "+")) -> ("something" "is" "big" "+"))
All green, big things are red.
((("something" "is" "green" "+") ("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
Charlie is furry.
True
1
proof
[(triple4 OR ((triple7) -> rule2))]
("Charlie" "is" "furry" "+")
triple4
((triple7) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is not red.
False
1
inv-proof
[(triple6 OR ((triple5 triple3) -> rule8) OR ((((triple4) -> rule1) triple5) -> rule4) OR ((((((triple7) -> rule2)) -> rule1) triple5) -> rule4))]
("Charlie" "is" "red" "-")
triple6
((triple5 triple3) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple4) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Gary is big.
True
2
proof
[(((triple12) -> rule7))]
("Gary" "is" "big" "+")
((triple12) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Fiona is not round.
False
3
inv-proof
[(((triple10 triple9) -> rule6))]
("Fiona" "is" "round" "-")
((triple10 triple9) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is young.
True
4
proof
[(((triple12 ((triple12) -> rule7)) -> rule5))]
("Gary" "is" "young" "+")
((triple12 ((triple12) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Fiona is not furry.
False
4
inv-proof
[(((((triple10 triple9) -> rule6)) -> rule2))]
("Fiona" "is" "furry" "-")
((((triple10 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Fiona is cold.
True
5
proof
[(((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1))]
("Fiona" "is" "cold" "+")
((((((triple10 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is not cold.
False
5
inv-proof
[(((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1))]
("Fiona" "is" "cold" "-")
((((((triple10 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
True
7
proof
[(((((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1) triple9) -> rule4))]
("Fiona" "is" "red" "+")
((((((((triple10 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is not red.
False
7
inv-proof
[(((((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1) triple9) -> rule4))]
("Fiona" "is" "red" "-")
((((((((triple10 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is big.
True
8
proof
[(((((((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1) triple9) -> rule4)) -> rule7))]
("Fiona" "is" "big" "+")
((((((((((triple10 triple9) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Fiona is not big.
False
8
inv-proof
[(((((((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1) triple9) -> rule4)) -> rule7))]
("Fiona" "is" "big" "-")
((((((((((triple10 triple9) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5
Anne is not young.
Unknown
inv-rconc
[@2: Anne is young.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Anne" "is" "young" "-")
Anne is red.
Unknown
rconc
[@1: Anne is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Anne" "is" "red" "+")
Gary is not furry.
Unknown
inv-rconc
[@1: Gary is furry.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "furry" "-")
Anne is big.
Unknown
rconc
[@2: Anne is big.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("Anne" "is" "big" "+")
Anne is not green.
Unknown
inv-random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
@0: Anne is cold.[(triple1 OR ((((triple2) -> rule2)) -> rule1))] Anne is round.[(triple2)] Charlie is big.[(triple3 OR ((triple6) -> rule7) OR ((((((triple4) -> rule1) triple5) -> rule4)) -> rule7) OR ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4)) -> rule7))] Charlie is furry.[(triple4 OR ((triple7) -> rule2))] Charlie is green.[(triple5)] Charlie is red.[(triple6 OR ((triple5 triple3) -> rule8) OR ((((triple4) -> rule1) triple5) -> rule4) OR ((((((triple7) -> rule2)) -> rule1) triple5) -> rule4))] Charlie is round.[(triple7)] Charlie is young.[(triple8 OR ((triple6 triple3) -> rule5) OR ((triple6 ((triple6) -> rule7)) -> rule5) OR ((((triple5 triple3) -> rule8) triple3) -> rule5) OR ((((triple5 triple3) -> rule8) ((triple6) -> rule7)) -> rule5) OR ((((((triple4) -> rule1) triple5) -> rule4) triple3) -> rule5) OR ((((((triple4) -> rule1) triple5) -> rule4) ((triple6) -> rule7)) -> rule5) OR ((triple6 ((((((triple4) -> rule1) triple5) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4) triple3) -> rule5) OR ((((triple5 triple3) -> rule8) ((((((triple4) -> rule1) triple5) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4) ((triple6) -> rule7)) -> rule5) OR ((((((triple4) -> rule1) triple5) -> rule4) ((((((triple4) -> rule1) triple5) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4) ((((((triple4) -> rule1) triple5) -> rule4)) -> rule7)) -> rule5) OR ((triple6 ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4)) -> rule7)) -> rule5) OR ((((triple5 triple3) -> rule8) ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4)) -> rule7)) -> rule5) OR ((((((triple4) -> rule1) triple5) -> rule4) ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4)) -> rule7)) -> rule5) OR ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4) ((((((((triple7) -> rule2)) -> rule1) triple5) -> rule4)) -> rule7)) -> rule5))] Fiona is green.[(triple9)] Fiona is young.[(triple10)] Gary is cold.[(triple11)] Gary is red.[(triple12)] @1: Anne is furry.[(((triple2) -> rule2))] Charlie is cold.[(((triple4) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Fiona is round.[(((triple10 triple9) -> rule6))] Gary is big.[(((triple12) -> rule7))] @2: Fiona is furry.[(((((triple10 triple9) -> rule6)) -> rule2))] Gary is young.[(((triple12 ((triple12) -> rule7)) -> rule5))] @3: Fiona is cold.[(((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1))] @4: Fiona is red.[(((((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1) triple9) -> rule4))] @5: Fiona is big.[(((((((((((triple10 triple9) -> rule6)) -> rule2)) -> rule1) triple9) -> rule4)) -> rule7))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
triple2
Charlie is big.
("Charlie" "is" "big" "+")
triple3
((triple6) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
((((((triple4) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((((triple7) -> (rule2 % int4))) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
triple4
((triple7) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is green.
("Charlie" "is" "green" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple6
((triple5 triple3) -> (rule8 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
((((triple4) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((((triple7) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is round.
("Charlie" "is" "round" "+")
triple7
Charlie is young.
("Charlie" "is" "young" "+")
triple8
((triple6 triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple6 ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
((((triple5 triple3) -> (rule8 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
((((triple5 triple3) -> (rule8 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
((((((triple4) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple4) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((triple6 ((((((triple4) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple7) -> (rule2 % int4))) -> (rule1 % int3)) triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((triple5 triple3) -> (rule8 % int4)) ((((((triple4) -> (rule1 % int3)) triple5) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
((((((((triple7) -> (rule2 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((triple6) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((((triple4) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((((((triple4) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple7) -> (rule2 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((((((triple4) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((triple6 ((((((((triple7) -> (rule2 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
((((triple5 triple3) -> (rule8 % int5)) ((((((((triple7) -> (rule2 % int4))) -> (rule1 % int3)) triple5) -> (rule4 % int5))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
Charlie is red.
("Charlie" "is" "red" "+")
int5
((((((triple4) -> (rule1 % int5)) triple5) -> (rule4 % int4)) ((((((((triple7) -> (rule2 % int3))) -> (rule1 % int5)) triple5) -> (rule4 % int4))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is red.
("Charlie" "is" "red" "+")
int4
Charlie is cold.
("Charlie" "is" "cold" "+")
int5
((((((((triple7) -> (rule2 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((((((((triple7) -> (rule2 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is big.
("Charlie" "is" "big" "+")
int2
Charlie is red.
("Charlie" "is" "red" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
triple9
Fiona is young.
("Fiona" "is" "young" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Anne is furry.
("Anne" "is" "furry" "+")
((triple2) -> (rule2 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
((((triple7) -> (rule2 % int2))) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
((triple10 triple9) -> (rule6 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple12) -> (rule7 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple10 triple9) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is round.
("Fiona" "is" "round" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
((triple12 ((triple12) -> (rule7 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((triple10 triple9) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is round.
("Fiona" "is" "round" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
((((((((triple10 triple9) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is round.
("Fiona" "is" "round" "+")
int4
Fiona is big.
("Fiona" "is" "big" "+")
((((((((((triple10 triple9) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule1 % int3)) triple9) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is cold.
("Fiona" "is" "cold" "+")
int3
Fiona is furry.
("Fiona" "is" "furry" "+")
int4
Fiona is round.
("Fiona" "is" "round" "+")
int5