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