Charlie is nice. Fiona is nice. Fiona is white. Gary is green. Gary is kind. Harry is furry. Harry is kind. If something is big and furry then it is blue. If Harry is green and Harry is kind then Harry is big. Kind, furry things are big. If something is white and nice then it is blue. Nice, kind things are white. Furry things are green. Blue things are furry. Nice things are kind. All big, kind things are nice.
Charlie is nice.
("Charlie" "is" "nice" "+")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If something is big and furry then it is blue.
((("something" "is" "big" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
If Harry is green and Harry is kind then Harry is big.
((("Harry" "is" "green" "+") ("Harry" "is" "kind" "+")) -> ("Harry" "is" "big" "+"))
Kind, furry things are big.
((("something" "is" "kind" "+") ("something" "is" "furry" "+")) -> ("something" "is" "big" "+"))
If something is white and nice then it is blue.
((("something" "is" "white" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
Nice, kind things are white.
((("something" "is" "nice" "+") ("something" "is" "kind" "+")) -> ("something" "is" "white" "+"))
Furry things are green.
((("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
Blue things are furry.
((("something" "is" "blue" "+")) -> ("something" "is" "furry" "+"))
Nice things are kind.
((("something" "is" "nice" "+")) -> ("something" "is" "kind" "+"))
All big, kind things are nice.
((("something" "is" "big" "+") ("something" "is" "kind" "+")) -> ("something" "is" "nice" "+"))
Gary is kind.
True
1
proof
[(triple5)]
("Gary" "is" "kind" "+")
triple5
Fiona is not white.
False
1
inv-proof
[(triple3 OR ((triple2 ((triple2) -> rule8)) -> rule5))]
("Fiona" "is" "white" "-")
triple3
((triple2 ((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Harry is green.
True
2
proof
[(((triple6) -> rule6))]
("Harry" "is" "green" "+")
((triple6) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fiona is not kind.
False
2
inv-proof
[(((triple2) -> rule8))]
("Fiona" "is" "kind" "-")
((triple2) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is nice.
True
5
proof
[(((((triple7 triple6) -> rule3) triple7) -> rule9) OR ((((((triple6) -> rule6) triple7) -> rule2) triple7) -> rule9))]
("Harry" "is" "nice" "+")
((((triple7 triple6) -> (rule3 % int2)) triple7) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple6) -> (rule6 % int3)) triple7) -> (rule2 % int2)) triple7) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Harry is not nice.
False
5
inv-proof
[(((((triple7 triple6) -> rule3) triple7) -> rule9) OR ((((((triple6) -> rule6) triple7) -> rule2) triple7) -> rule9))]
("Harry" "is" "nice" "-")
((((triple7 triple6) -> (rule3 % int2)) triple7) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple6) -> (rule6 % int3)) triple7) -> (rule2 % int2)) triple7) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Fiona is green.
True
5
proof
[(((((((triple3 triple2) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple2 ((triple2) -> rule8)) -> rule5) triple2) -> rule4)) -> rule7)) -> rule6))]
("Fiona" "is" "green" "+")
((((((triple3 triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple2 ((triple2) -> (rule8 % int5))) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is not big.
False
7
inv-proof
[(((((triple2) -> rule8) ((((triple3 triple2) -> rule4)) -> rule7)) -> rule3) OR ((((triple2) -> rule8) ((((((triple2 ((triple2) -> rule8)) -> rule5) triple2) -> rule4)) -> rule7)) -> rule3))]
("Fiona" "is" "big" "-")
((((triple2) -> (rule8 % int4)) ((((triple3 triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple2) -> (rule8 % int5)) ((((((triple2 ((triple2) -> (rule8 % int5))) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Charlie is furry.
True
7
proof
[(((((((triple1 ((triple1) -> rule8)) -> rule5) triple1) -> rule4)) -> rule7))]
("Charlie" "is" "furry" "+")
((((((triple1 ((triple1) -> (rule8 % int4))) -> (rule5 % int3)) triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not furry.
False
7
inv-proof
[(((((((triple1 ((triple1) -> rule8)) -> rule5) triple1) -> rule4)) -> rule7))]
("Charlie" "is" "furry" "-")
((((((triple1 ((triple1) -> (rule8 % int4))) -> (rule5 % int3)) triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is green.
True
8
proof
[(((((((((triple1 ((triple1) -> rule8)) -> rule5) triple1) -> rule4)) -> rule7)) -> rule6))]
("Charlie" "is" "green" "+")
((((((((triple1 ((triple1) -> (rule8 % int5))) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is not green.
False
8
inv-proof
[(((((((((triple1 ((triple1) -> rule8)) -> rule5) triple1) -> rule4)) -> rule7)) -> rule6))]
("Charlie" "is" "green" "-")
((((((((triple1 ((triple1) -> (rule8 % int5))) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Gary is not white.
Unknown
inv-rconc
[@5: Gary is white.[CWA. Example of deepest failure = (rule5 <- rule9 <- rule3 <- rule7 <- rule1 <- FAIL)]]
("Gary" "is" "white" "-")
Gary is big.
Unknown
rconc
[@4: Gary is big.[CWA. Example of deepest failure = (rule3 <- rule7 <- rule4 <- rule9 <- FAIL)]]
("Gary" "is" "big" "+")
Gary is not furry.
Unknown
inv-rconc
[@4: Gary is furry.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule9 <- rule3 <- FAIL)]]
("Gary" "is" "furry" "-")
Gary is blue.
Unknown
rconc
[@5: Gary is blue.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule7 <- rule4 <- rule9 <- FAIL)]]
("Gary" "is" "blue" "+")
@0: Charlie is nice.[(triple1)] Fiona is nice.[(triple2)] Fiona is white.[(triple3 OR ((triple2 ((triple2) -> rule8)) -> rule5))] Gary is green.[(triple4)] Gary is kind.[(triple5)] Harry is furry.[(triple6)] Harry is kind.[(triple7)] @1: Charlie is kind.[(((triple1) -> rule8))] Fiona is blue.[(((triple3 triple2) -> rule4) OR ((((triple2 ((triple2) -> rule8)) -> rule5) triple2) -> rule4))] Fiona is kind.[(((triple2) -> rule8))] Harry is big.[(((triple7 triple6) -> rule3) OR ((((triple6) -> rule6) triple7) -> rule2))] Harry is green.[(((triple6) -> rule6))] @2: Charlie is white.[(((triple1 ((triple1) -> rule8)) -> rule5))] Fiona is furry.[(((((triple3 triple2) -> rule4)) -> rule7) OR ((((((triple2 ((triple2) -> rule8)) -> rule5) triple2) -> rule4)) -> rule7))] Harry is blue.[(((((triple7 triple6) -> rule3) triple6) -> rule1) OR ((((((triple6) -> rule6) triple7) -> rule2) triple6) -> rule1) OR ((((((((triple7 triple6) -> rule3) triple7) -> rule9) triple7) -> rule5) ((((triple7 triple6) -> rule3) triple7) -> rule9)) -> rule4) OR ((((((((triple7 triple6) -> rule3) triple7) -> rule9) triple7) -> rule5) ((((((triple6) -> rule6) triple7) -> rule2) triple7) -> rule9)) -> rule4) OR ((((((((((triple6) -> rule6) triple7) -> rule2) triple7) -> rule9) triple7) -> rule5) ((((triple7 triple6) -> rule3) triple7) -> rule9)) -> rule4) OR ((((((((((triple6) -> rule6) triple7) -> rule2) triple7) -> rule9) triple7) -> rule5) ((((((triple6) -> rule6) triple7) -> rule2) triple7) -> rule9)) -> rule4))] Harry is nice.[(((((triple7 triple6) -> rule3) triple7) -> rule9) OR ((((((triple6) -> rule6) triple7) -> rule2) triple7) -> rule9))] @3: Charlie is blue.[(((((triple1 ((triple1) -> rule8)) -> rule5) triple1) -> rule4))] Fiona is big.[(((((triple2) -> rule8) ((((triple3 triple2) -> rule4)) -> rule7)) -> rule3) OR ((((triple2) -> rule8) ((((((triple2 ((triple2) -> rule8)) -> rule5) triple2) -> rule4)) -> rule7)) -> rule3))] Fiona is green.[(((((((triple3 triple2) -> rule4)) -> rule7)) -> rule6) OR ((((((((triple2 ((triple2) -> rule8)) -> rule5) triple2) -> rule4)) -> rule7)) -> rule6))] Harry is white.[(((((((triple7 triple6) -> rule3) triple7) -> rule9) triple7) -> rule5) OR ((((((((triple6) -> rule6) triple7) -> rule2) triple7) -> rule9) triple7) -> rule5))] @4: Charlie is furry.[(((((((triple1 ((triple1) -> rule8)) -> rule5) triple1) -> rule4)) -> rule7))] @5: Charlie is big.[(((((triple1) -> rule8) ((((((triple1 ((triple1) -> rule8)) -> rule5) triple1) -> rule4)) -> rule7)) -> rule3))] Charlie is green.[(((((((((triple1 ((triple1) -> rule8)) -> rule5) triple1) -> rule4)) -> rule7)) -> rule6))]
Charlie is nice.
("Charlie" "is" "nice" "+")
triple1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple2
Fiona is white.
("Fiona" "is" "white" "+")
triple3
((triple2 ((triple2) -> (rule8 % int2))) -> (rule5 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple5
Harry is furry.
("Harry" "is" "furry" "+")
triple6
Harry is kind.
("Harry" "is" "kind" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple1) -> (rule8 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple3 triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
((((triple2 ((triple2) -> (rule8 % int3))) -> (rule5 % int2)) triple2) -> (rule4 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple2) -> (rule8 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
((triple7 triple6) -> (rule3 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
((((triple6) -> (rule6 % int2)) triple7) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
((triple6) -> (rule6 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
((triple1 ((triple1) -> (rule8 % int2))) -> (rule5 % int1))
Charlie is white.
("Charlie" "is" "white" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
((((triple3 triple2) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
((((((triple2 ((triple2) -> (rule8 % int4))) -> (rule5 % int3)) triple2) -> (rule4 % int2))) -> (rule7 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is white.
("Fiona" "is" "white" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
((((triple7 triple6) -> (rule3 % int2)) triple6) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple6) -> (rule6 % int3)) triple7) -> (rule2 % int2)) triple6) -> (rule1 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
((((((((triple7 triple6) -> (rule3 % int4)) triple7) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((((triple7 triple6) -> (rule3 % int4)) triple7) -> (rule9 % int3))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
((((((((triple7 triple6) -> (rule3 % int5)) triple7) -> (rule9 % int4)) triple7) -> (rule5 % int3)) ((((((triple6) -> (rule6 % int2)) triple7) -> (rule2 % int5)) triple7) -> (rule9 % int4))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Harry is white.
("Harry" "is" "white" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
int4
Harry is big.
("Harry" "is" "big" "+")
int5
((((((((((triple6) -> (rule6 % int5)) triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((((triple7 triple6) -> (rule3 % int4)) triple7) -> (rule9 % int3))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
((((((((((triple6) -> (rule6 % int5)) triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3)) triple7) -> (rule5 % int2)) ((((((triple6) -> (rule6 % int5)) triple7) -> (rule2 % int4)) triple7) -> (rule9 % int3))) -> (rule4 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Harry is big.
("Harry" "is" "big" "+")
int4
Harry is green.
("Harry" "is" "green" "+")
int5
Harry is nice.
("Harry" "is" "nice" "+")
((((triple7 triple6) -> (rule3 % int2)) triple7) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
((((((triple6) -> (rule6 % int3)) triple7) -> (rule2 % int2)) triple7) -> (rule9 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((triple1 ((triple1) -> (rule8 % int3))) -> (rule5 % int2)) triple1) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is white.
("Charlie" "is" "white" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Fiona is big.
("Fiona" "is" "big" "+")
((((triple2) -> (rule8 % int4)) ((((triple3 triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is kind.
("Fiona" "is" "kind" "+")
int4
((((triple2) -> (rule8 % int5)) ((((((triple2 ((triple2) -> (rule8 % int5))) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Fiona is big.
("Fiona" "is" "big" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Fiona is green.
("Fiona" "is" "green" "+")
((((((triple3 triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
((((((((triple2 ((triple2) -> (rule8 % int5))) -> (rule5 % int4)) triple2) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is blue.
("Fiona" "is" "blue" "+")
int3
Fiona is white.
("Fiona" "is" "white" "+")
int4
Fiona is kind.
("Fiona" "is" "kind" "+")
int5
Harry is white.
("Harry" "is" "white" "+")
((((((triple7 triple6) -> (rule3 % int3)) triple7) -> (rule9 % int2)) triple7) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
((((((((triple6) -> (rule6 % int4)) triple7) -> (rule2 % int3)) triple7) -> (rule9 % int2)) triple7) -> (rule5 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
int3
Harry is green.
("Harry" "is" "green" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
((((((triple1 ((triple1) -> (rule8 % int4))) -> (rule5 % int3)) triple1) -> (rule4 % int2))) -> (rule7 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is white.
("Charlie" "is" "white" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is big.
("Charlie" "is" "big" "+")
((((triple1) -> (rule8 % int5)) ((((((triple1 ((triple1) -> (rule8 % int5))) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is big.
("Charlie" "is" "big" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5
Charlie is green.
("Charlie" "is" "green" "+")
((((((((triple1 ((triple1) -> (rule8 % int5))) -> (rule5 % int4)) triple1) -> (rule4 % int3))) -> (rule7 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is white.
("Charlie" "is" "white" "+")
int4
Charlie is kind.
("Charlie" "is" "kind" "+")
int5