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