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