Charlie is cold. Dave is furry. Dave is green. Dave is rough. Erin is cold. Erin is kind. Fiona is cold. Fiona is kind. Fiona is rough. Fiona is young. If Erin is nice and Erin is young then Erin is green. All young things are rough. Furry, young things are nice. All cold, rough things are furry. Cold things are young. Cold things are young. If something is furry and nice then it is young.
Charlie is cold.
("Charlie" "is" "cold" "+")
Dave is furry.
("Dave" "is" "furry" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is kind.
("Erin" "is" "kind" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If Erin is nice and Erin is young then Erin is green.
((("Erin" "is" "nice" "+") ("Erin" "is" "young" "+")) -> ("Erin" "is" "green" "+"))
All young things are rough.
((("something" "is" "young" "+")) -> ("something" "is" "rough" "+"))
Furry, young things are nice.
((("something" "is" "furry" "+") ("something" "is" "young" "+")) -> ("something" "is" "nice" "+"))
All cold, rough things are furry.
((("something" "is" "cold" "+") ("something" "is" "rough" "+")) -> ("something" "is" "furry" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
Cold things are young.
((("something" "is" "cold" "+")) -> ("something" "is" "young" "+"))
If something is furry and nice then it is young.
((("something" "is" "furry" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
Fiona is young.
True
1
proof
[(triple10 OR ((triple7) -> rule5) OR ((triple7) -> rule6))]
("Fiona" "is" "young" "+")
triple10
((triple7) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple7) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Dave is not furry.
False
1
inv-proof
[(triple2)]
("Dave" "is" "furry" "-")
triple2
Erin is young.
True
2
proof
[(((triple5) -> rule5) OR ((triple5) -> rule6))]
("Erin" "is" "young" "+")
((triple5) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple5) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Charlie is not young.
False
2
inv-proof
[(((triple1) -> rule5) OR ((triple1) -> rule6))]
("Charlie" "is" "young" "-")
((triple1) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple1) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is rough.
True
3
proof
[(((((triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule6)) -> rule2))]
("Charlie" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Erin is not rough.
False
3
inv-proof
[(((((triple5) -> rule5)) -> rule2) OR ((((triple5) -> rule6)) -> rule2))]
("Erin" "is" "rough" "-")
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Charlie is furry.
True
5
proof
[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4))]
("Charlie" "is" "furry" "+")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not furry.
False
5
inv-proof
[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4))]
("Charlie" "is" "furry" "-")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Erin is nice.
True
8
proof
[(((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) OR ((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) OR ((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) OR ((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3))]
("Erin" "is" "nice" "+")
((((triple5 ((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule5 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple5 ((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule6 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple5 ((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule5 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple5 ((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule6 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Charlie is not nice.
False
8
inv-proof
[(((((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) ((triple1) -> rule5)) -> rule3) OR ((((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) ((triple1) -> rule6)) -> rule3) OR ((((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule5)) -> rule3) OR ((((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule6)) -> rule3))]
("Charlie" "is" "nice" "-")
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule6 % int4))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple1 ((((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple1 ((((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule6 % int4))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Erin is green.
True
11
proof
[(((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1))]
("Erin" "is" "green" "+")
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Erin is not green.
False
11
inv-proof
[(((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1))]
("Erin" "is" "green" "-")
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
Dave is not nice.
Unknown
inv-rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Dave" "is" "nice" "-")
Dave is young.
Unknown
rconc
[@3: Dave is young.[CWA. Example of deepest failure = (rule7 <- rule3 <- rule5 <- FAIL)]]
("Dave" "is" "young" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Dave is kind.
Unknown
random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "+")
Charlie is not kind.
Unknown
inv-random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "-")
Dave is cold.
Unknown
random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "+")
@0: Charlie is cold.[(triple1)] Dave is furry.[(triple2)] Dave is green.[(triple3)] Dave is rough.[(triple4)] Erin is cold.[(triple5)] Erin is kind.[(triple6)] Fiona is cold.[(triple7)] Fiona is kind.[(triple8)] Fiona is rough.[(triple9 OR ((triple10) -> rule2) OR ((((triple7) -> rule5)) -> rule2) OR ((((triple7) -> rule6)) -> rule2))] Fiona is young.[(triple10 OR ((triple7) -> rule5) OR ((triple7) -> rule6))] @1: Charlie is young.[(((triple1) -> rule5) OR ((triple1) -> rule6))] Erin is young.[(((triple5) -> rule5) OR ((triple5) -> rule6))] Fiona is furry.[(((triple7 triple9) -> rule4) OR ((triple7 ((triple10) -> rule2)) -> rule4) OR ((triple7 ((((triple7) -> rule5)) -> rule2)) -> rule4) OR ((triple7 ((((triple7) -> rule6)) -> rule2)) -> rule4))] @2: Charlie is rough.[(((((triple1) -> rule5)) -> rule2) OR ((((triple1) -> rule6)) -> rule2))] Erin is rough.[(((((triple5) -> rule5)) -> rule2) OR ((((triple5) -> rule6)) -> rule2))] Fiona is nice.[(((((triple7 triple9) -> rule4) triple10) -> rule3) OR ((((triple7 triple9) -> rule4) ((triple7) -> rule5)) -> rule3) OR ((((triple7 triple9) -> rule4) ((triple7) -> rule6)) -> rule3) OR ((((triple7 ((triple10) -> rule2)) -> rule4) triple10) -> rule3) OR ((((triple7 ((triple10) -> rule2)) -> rule4) ((triple7) -> rule5)) -> rule3) OR ((((triple7 ((triple10) -> rule2)) -> rule4) ((triple7) -> rule6)) -> rule3) OR ((((triple7 ((((triple7) -> rule5)) -> rule2)) -> rule4) triple10) -> rule3) OR ((((triple7 ((((triple7) -> rule6)) -> rule2)) -> rule4) triple10) -> rule3) OR ((((triple7 ((((triple7) -> rule5)) -> rule2)) -> rule4) ((triple7) -> rule5)) -> rule3) OR ((((triple7 ((((triple7) -> rule5)) -> rule2)) -> rule4) ((triple7) -> rule6)) -> rule3) OR ((((triple7 ((((triple7) -> rule6)) -> rule2)) -> rule4) ((triple7) -> rule5)) -> rule3) OR ((((triple7 ((((triple7) -> rule6)) -> rule2)) -> rule4) ((triple7) -> rule6)) -> rule3))] @3: Charlie is furry.[(((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) OR ((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4))] Erin is furry.[(((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) OR ((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4))] @4: Charlie is nice.[(((((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) ((triple1) -> rule5)) -> rule3) OR ((((triple1 ((((triple1) -> rule5)) -> rule2)) -> rule4) ((triple1) -> rule6)) -> rule3) OR ((((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule5)) -> rule3) OR ((((triple1 ((((triple1) -> rule6)) -> rule2)) -> rule4) ((triple1) -> rule6)) -> rule3))] Erin is nice.[(((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) OR ((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) OR ((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) OR ((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3))] @5: Erin is green.[(((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule5)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule5)) -> rule3) ((triple5) -> rule6)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule5)) -> rule1) OR ((((((triple5 ((((triple5) -> rule6)) -> rule2)) -> rule4) ((triple5) -> rule6)) -> rule3) ((triple5) -> rule6)) -> rule1))]
Charlie is cold.
("Charlie" "is" "cold" "+")
triple1
Dave is furry.
("Dave" "is" "furry" "+")
triple2
Dave is green.
("Dave" "is" "green" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple5
Erin is kind.
("Erin" "is" "kind" "+")
triple6
Fiona is cold.
("Fiona" "is" "cold" "+")
triple7
Fiona is kind.
("Fiona" "is" "kind" "+")
triple8
Fiona is rough.
("Fiona" "is" "rough" "+")
triple9
((triple10) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
((((triple7) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
Fiona is rough.
("Fiona" "is" "rough" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
triple10
((triple7) -> (rule5 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
((triple7) -> (rule6 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple1) -> (rule5 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((triple1) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
((triple5) -> (rule5 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
((triple5) -> (rule6 % int1))
Erin is young.
("Erin" "is" "young" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
((triple7 triple9) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
((triple7 ((triple10) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
((triple7 ((((triple7) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple7 ((((triple7) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Fiona is furry.
("Fiona" "is" "furry" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
((((triple1) -> (rule6 % int2))) -> (rule2 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
((((triple5) -> (rule5 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
((((triple5) -> (rule6 % int2))) -> (rule2 % int1))
Erin is rough.
("Erin" "is" "rough" "+")
int1
Erin is young.
("Erin" "is" "young" "+")
int2
Fiona is nice.
("Fiona" "is" "nice" "+")
((((triple7 triple9) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
((((triple7 triple9) -> (rule4 % int3)) ((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple7 triple9) -> (rule4 % int3)) ((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
((((triple7 ((triple10) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
((((triple7 ((triple10) -> (rule2 % int4))) -> (rule4 % int3)) ((triple7) -> (rule5 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple7 ((triple10) -> (rule2 % int4))) -> (rule4 % int3)) ((triple7) -> (rule6 % int2))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is furry.
("Fiona" "is" "furry" "+")
int3
Fiona is rough.
("Fiona" "is" "rough" "+")
int4
((((triple7 ((((triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple7 ((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) triple10) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple7 ((((triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7) -> (rule5 % int4))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple7 ((((triple7) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7) -> (rule6 % int4))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple7 ((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7) -> (rule5 % int4))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple7 ((((triple7) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple7) -> (rule6 % int4))) -> (rule3 % int1))
Fiona is nice.
("Fiona" "is" "nice" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
int2
Fiona is rough.
("Fiona" "is" "rough" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Charlie is furry.
("Charlie" "is" "furry" "+")
((triple1 ((((triple1) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
((triple1 ((((triple1) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
((triple5 ((((triple5) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
((triple5 ((((triple5) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is rough.
("Erin" "is" "rough" "+")
int2
Erin is young.
("Erin" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple1 ((((triple1) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule6 % int4))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple1 ((((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule5 % int4))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
((((triple1 ((((triple1) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple1) -> (rule6 % int4))) -> (rule3 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
int3
Charlie is young.
("Charlie" "is" "young" "+")
int4
Erin is nice.
("Erin" "is" "nice" "+")
((((triple5 ((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule5 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple5 ((((triple5) -> (rule5 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule6 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple5 ((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule5 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
((((triple5 ((((triple5) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule4 % int2)) ((triple5) -> (rule6 % int4))) -> (rule3 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is rough.
("Erin" "is" "rough" "+")
int3
Erin is young.
("Erin" "is" "young" "+")
int4
Erin is green.
("Erin" "is" "green" "+")
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule5 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule5 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule5 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5
((((((triple5 ((((triple5) -> (rule6 % int5))) -> (rule2 % int4))) -> (rule4 % int3)) ((triple5) -> (rule6 % int5))) -> (rule3 % int2)) ((triple5) -> (rule6 % int5))) -> (rule1 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is rough.
("Erin" "is" "rough" "+")
int4
Erin is young.
("Erin" "is" "young" "+")
int5