Charlie is kind. Dave is kind. Fiona is kind. Harry is big. Harry is kind. Harry is red. Harry is white. All young people are red. If Fiona is red then Fiona is big. If someone is kind then they are young. All big, kind people are red. All white people are cold. If someone is big and red then they are white. Cold people are white. If someone is kind and white then they are cold.
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is white.
("Harry" "is" "white" "+")
All young people are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If Fiona is red then Fiona is big.
((("Fiona" "is" "red" "+")) -> ("Fiona" "is" "big" "+"))
If someone is kind then they are young.
((("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
All big, kind people are red.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "red" "+"))
All white people are cold.
((("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and red then they are white.
((("someone" "is" "big" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "white" "+"))
Cold people are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
If someone is kind and white then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "cold" "+"))
Harry is big.
True
1
proof
[(triple4)]
("Harry" "is" "big" "+")
triple4
Harry is not red.
False
1
inv-proof
[(triple6 OR ((triple4 triple5) -> rule4) OR ((((triple5) -> rule3)) -> rule1))]
("Harry" "is" "red" "-")
triple6
((triple4 triple5) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is cold.
True
2
proof
[(((triple7) -> rule5) OR ((triple5 triple7) -> rule8) OR ((((triple4 triple6) -> rule6)) -> rule5) OR ((triple5 ((triple4 triple6) -> rule6)) -> rule8) OR ((((triple4 ((triple4 triple5) -> rule4)) -> rule6)) -> rule5) OR ((triple5 ((triple4 ((triple4 triple5) -> rule4)) -> rule6)) -> rule8) OR ((((triple4 ((((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((triple4 ((((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule8))]
("Harry" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple5 triple7) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple4 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((triple5 ((triple4 triple6) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple5 ((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple4 ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple5 ((triple4 ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is not cold.
False
2
inv-proof
[(((triple7) -> rule5) OR ((triple5 triple7) -> rule8) OR ((((triple4 triple6) -> rule6)) -> rule5) OR ((triple5 ((triple4 triple6) -> rule6)) -> rule8) OR ((((triple4 ((triple4 triple5) -> rule4)) -> rule6)) -> rule5) OR ((triple5 ((triple4 ((triple4 triple5) -> rule4)) -> rule6)) -> rule8) OR ((((triple4 ((((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((triple4 ((((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule8))]
("Harry" "is" "cold" "-")
((triple7) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple5 triple7) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple4 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((triple5 ((triple4 triple6) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple5 ((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple4 ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple5 ((triple4 ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Dave is red.
True
3
proof
[(((((triple2) -> rule3)) -> rule1))]
("Dave" "is" "red" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Charlie is not red.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule1))]
("Charlie" "is" "red" "-")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Fiona is big.
True
4
proof
[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]
("Fiona" "is" "big" "+")
((((((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is not big.
False
4
inv-proof
[(((((((triple3) -> rule3)) -> rule1)) -> rule2))]
("Fiona" "is" "big" "-")
((((((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
True
8
proof
[(((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6))]
("Fiona" "is" "white" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is not white.
False
8
inv-proof
[(((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6))]
("Fiona" "is" "white" "-")
((((((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
True
9
proof
[(((((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6)) -> rule8))]
("Fiona" "is" "cold" "+")
((((((((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((triple3 ((((((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Fiona is not cold.
False
9
inv-proof
[(((((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6)) -> rule8))]
("Fiona" "is" "cold" "-")
((((((((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((triple3 ((((((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
Charlie is not cold.
Unknown
inv-rconc
[@4: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule8 <- rule6 <- FAIL)]]
("Charlie" "is" "cold" "-")
Dave is cold.
Unknown
rconc
[@4: Dave is cold.[CWA. Example of deepest failure = (rule5 <- rule7 <- rule8 <- rule6 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not white.
Unknown
inv-rconc
[@3: Dave is white.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule6 <- FAIL)]]
("Dave" "is" "white" "-")
Charlie is white.
Unknown
rconc
[@3: Charlie is white.[CWA. Example of deepest failure = (rule7 <- rule5 <- rule6 <- FAIL)]]
("Charlie" "is" "white" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Fiona is not green.
Unknown
inv-random
[@0: Fiona is green.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "green" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Charlie is kind.[(triple1)] Dave is kind.[(triple2)] Fiona is kind.[(triple3)] Harry is big.[(triple4)] Harry is kind.[(triple5)] Harry is red.[(triple6 OR ((triple4 triple5) -> rule4) OR ((((triple5) -> rule3)) -> rule1))] Harry is white.[(triple7 OR ((triple4 triple6) -> rule6) OR ((triple4 ((triple4 triple5) -> rule4)) -> rule6) OR ((triple4 ((((triple5) -> rule3)) -> rule1)) -> rule6))] @1: Charlie is young.[(((triple1) -> rule3))] Dave is young.[(((triple2) -> rule3))] Fiona is young.[(((triple3) -> rule3))] Harry is cold.[(((triple7) -> rule5) OR ((triple5 triple7) -> rule8) OR ((((triple4 triple6) -> rule6)) -> rule5) OR ((triple5 ((triple4 triple6) -> rule6)) -> rule8) OR ((((triple4 ((triple4 triple5) -> rule4)) -> rule6)) -> rule5) OR ((triple5 ((triple4 ((triple4 triple5) -> rule4)) -> rule6)) -> rule8) OR ((((triple4 ((((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((triple5 ((triple4 ((((triple5) -> rule3)) -> rule1)) -> rule6)) -> rule8))] Harry is young.[(((triple5) -> rule3))] @2: Charlie is red.[(((((triple1) -> rule3)) -> rule1))] Dave is red.[(((((triple2) -> rule3)) -> rule1))] Fiona is red.[(((((triple3) -> rule3)) -> rule1))] @3: Fiona is big.[(((((((triple3) -> rule3)) -> rule1)) -> rule2))] @4: Fiona is white.[(((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6))] @5: Fiona is cold.[(((((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6)) -> rule5) OR ((triple3 ((((((((triple3) -> rule3)) -> rule1)) -> rule2) ((((triple3) -> rule3)) -> rule1)) -> rule6)) -> rule8))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple1
Dave is kind.
("Dave" "is" "kind" "+")
triple2
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Harry is big.
("Harry" "is" "big" "+")
triple4
Harry is kind.
("Harry" "is" "kind" "+")
triple5
Harry is red.
("Harry" "is" "red" "+")
triple6
((triple4 triple5) -> (rule4 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
((((triple5) -> (rule3 % int2))) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
triple7
((triple4 triple6) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
((triple4 ((triple4 triple5) -> (rule4 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
((triple4 ((((triple5) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is red.
("Harry" "is" "red" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
((triple2) -> (rule3 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
((triple3) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple7) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((triple5 triple7) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
((((triple4 triple6) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((triple5 ((triple4 triple6) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
((((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((triple5 ((triple4 ((triple4 triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
((((triple4 ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
((triple5 ((triple4 ((((triple5) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is young.
("Harry" "is" "young" "+")
((triple5) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Charlie is red.
("Charlie" "is" "red" "+")
((((triple1) -> (rule3 % int2))) -> (rule1 % int1))
Charlie is red.
("Charlie" "is" "red" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Dave is red.
("Dave" "is" "red" "+")
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
Dave is red.
("Dave" "is" "red" "+")
int1
Dave is young.
("Dave" "is" "young" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
((((((triple3) -> (rule3 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is red.
("Fiona" "is" "red" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
((((((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule2 % int2)) ((((triple3) -> (rule3 % int4))) -> (rule1 % int3))) -> (rule6 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is big.
("Fiona" "is" "big" "+")
int2
Fiona is red.
("Fiona" "is" "red" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Fiona is cold.
("Fiona" "is" "cold" "+")
((((((((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule5 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5
((triple3 ((((((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule2 % int3)) ((((triple3) -> (rule3 % int5))) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule8 % int1))
Fiona is cold.
("Fiona" "is" "cold" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is big.
("Fiona" "is" "big" "+")
int3
Fiona is red.
("Fiona" "is" "red" "+")
int4
Fiona is young.
("Fiona" "is" "young" "+")
int5