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