Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is not rough. Charlie is not smart. Dave is not big. Dave is cold. Dave is green. Dave is quiet. Erin is smart. Harry is green. All big things are cold. All green things are furry. If something is rough and green then it is furry. Cold things are furry. Smart things are big. Cold, furry things are green. All quiet things are not rough. All furry, cold things are quiet. Green, smart things are quiet.
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is furry.
("Charlie" "is" "furry" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not rough.
("Charlie" "is" "rough" "-")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Dave is not big.
("Dave" "is" "big" "-")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
Harry is green.
("Harry" "is" "green" "+")
All big things are cold.
((("something" "is" "big" "+")) -> ("something" "is" "cold" "+"))
All green things are furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
If something is rough and green then it is furry.
((("something" "is" "rough" "+") ("something" "is" "green" "+")) -> ("something" "is" "furry" "+"))
Cold things are furry.
((("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
Smart things are big.
((("something" "is" "smart" "+")) -> ("something" "is" "big" "+"))
Cold, furry things are green.
((("something" "is" "cold" "+") ("something" "is" "furry" "+")) -> ("something" "is" "green" "+"))
All quiet things are not rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "-"))
All furry, cold things are quiet.
((("something" "is" "furry" "+") ("something" "is" "cold" "+")) -> ("something" "is" "quiet" "+"))
Green, smart things are quiet.
((("something" "is" "green" "+") ("something" "is" "smart" "+")) -> ("something" "is" "quiet" "+"))
Charlie is not rough.
True
1
proof
[(triple5 OR ((((triple3 triple2) -> rule8)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) triple2) -> rule8)) -> rule7) OR ((((((triple4) -> rule2) triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((((triple4) -> rule2) ((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule4) triple2) -> rule8)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule8)) -> rule7))]
("Charlie" "is" "rough" "-")
triple5
((((triple3 triple2) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple3 ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple2) -> (rule4 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple4) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple4) -> (rule2 % int4)) ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple1) -> (rule1 % int4))) -> (rule4 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple1) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Erin is not smart.
False
1
inv-proof
[(triple11)]
("Erin" "is" "smart" "-")
triple11
Dave is not rough.
True
2
proof
[(((triple10) -> rule7) OR ((((((triple8) -> rule4) triple8) -> rule8)) -> rule7) OR ((((((triple9) -> rule2) triple8) -> rule8)) -> rule7))]
("Dave" "is" "rough" "-")
((triple10) -> (rule7 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
((((((triple8) -> (rule4 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple9) -> (rule2 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Dave is not furry.
False
2
inv-proof
[(((triple8) -> rule4) OR ((triple9) -> rule2))]
("Dave" "is" "furry" "-")
((triple8) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple9) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Erin is cold.
True
3
proof
[(((((triple11) -> rule5)) -> rule1))]
("Erin" "is" "cold" "+")
((((triple11) -> (rule5 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is not cold.
False
3
inv-proof
[(((((triple11) -> rule5)) -> rule1))]
("Erin" "is" "cold" "-")
((((triple11) -> (rule5 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
True
4
proof
[(((((((triple11) -> rule5)) -> rule1)) -> rule4))]
("Erin" "is" "furry" "+")
((((((triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is not furry.
False
4
inv-proof
[(((((((triple11) -> rule5)) -> rule1)) -> rule4))]
("Erin" "is" "furry" "-")
((((((triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is quiet.
True
8
proof
[(((((((((triple11) -> rule5)) -> rule1)) -> rule4) ((((triple11) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple11) -> rule5)) -> rule1) ((((((triple11) -> rule5)) -> rule1)) -> rule4)) -> rule6) triple11) -> rule9))]
("Erin" "is" "quiet" "+")
((((((((triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple11) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is not quiet.
False
8
inv-proof
[(((((((((triple11) -> rule5)) -> rule1)) -> rule4) ((((triple11) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple11) -> rule5)) -> rule1) ((((((triple11) -> rule5)) -> rule1)) -> rule4)) -> rule6) triple11) -> rule9))]
("Erin" "is" "quiet" "-")
((((((((triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple11) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is not rough.
True
9
proof
[(((((((((((triple11) -> rule5)) -> rule1)) -> rule4) ((((triple11) -> rule5)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((triple11) -> rule5)) -> rule1) ((((((triple11) -> rule5)) -> rule1)) -> rule4)) -> rule6) triple11) -> rule9)) -> rule7))]
("Erin" "is" "rough" "-")
((((((((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple11) -> (rule5 % int6))) -> (rule1 % int5)) ((((((triple11) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple11) -> (rule9 % int2))) -> (rule7 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
Erin is rough.
False
9
inv-proof
[(((((((((((triple11) -> rule5)) -> rule1)) -> rule4) ((((triple11) -> rule5)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((triple11) -> rule5)) -> rule1) ((((((triple11) -> rule5)) -> rule1)) -> rule4)) -> rule6) triple11) -> rule9)) -> rule7))]
("Erin" "is" "rough" "+")
((((((((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple11) -> (rule5 % int6))) -> (rule1 % int5)) ((((((triple11) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple11) -> (rule9 % int2))) -> (rule7 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6
Harry is not quiet.
Unknown
inv-rconc
[@3: Harry is quiet.[CWA. Example of deepest failure = (rule8 <- rule1 <- rule5 <- FAIL)]]
("Harry" "is" "quiet" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "big" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Harry is smart.
Unknown
random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "+")
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule1))] Charlie is furry.[(triple3 OR ((triple2) -> rule4) OR ((triple4) -> rule2) OR ((((triple1) -> rule1)) -> rule4))] Charlie is green.[(triple4 OR ((triple2 triple3) -> rule6) OR ((triple2 ((triple2) -> rule4)) -> rule6) OR ((((triple1) -> rule1) triple3) -> rule6) OR ((((triple1) -> rule1) ((triple2) -> rule4)) -> rule6) OR ((triple2 ((((triple1) -> rule1)) -> rule4)) -> rule6) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule4)) -> rule6))] Charlie is not rough.[(triple5 OR ((((triple3 triple2) -> rule8)) -> rule7) OR ((((triple3 ((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) triple2) -> rule8)) -> rule7) OR ((((((triple4) -> rule2) triple2) -> rule8)) -> rule7) OR ((((((triple2) -> rule4) ((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((((triple4) -> rule2) ((triple1) -> rule1)) -> rule8)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule4) triple2) -> rule8)) -> rule7) OR ((((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule8)) -> rule7))] Charlie is not smart.[(triple6)] Dave is cold.[(triple8)] Dave is green.[(triple9 OR ((triple8 ((triple8) -> rule4)) -> rule6))] Dave is not big.[(triple7)] Dave is quiet.[(triple10 OR ((((triple8) -> rule4) triple8) -> rule8) OR ((((triple9) -> rule2) triple8) -> rule8))] Erin is smart.[(triple11)] Harry is green.[(triple12)] @1: Charlie is quiet.[(((triple3 triple2) -> rule8) OR ((triple3 ((triple1) -> rule1)) -> rule8) OR ((((triple2) -> rule4) triple2) -> rule8) OR ((((triple4) -> rule2) triple2) -> rule8) OR ((((triple2) -> rule4) ((triple1) -> rule1)) -> rule8) OR ((((triple4) -> rule2) ((triple1) -> rule1)) -> rule8) OR ((((((triple1) -> rule1)) -> rule4) triple2) -> rule8) OR ((((((triple1) -> rule1)) -> rule4) ((triple1) -> rule1)) -> rule8))] Dave is furry.[(((triple8) -> rule4) OR ((triple9) -> rule2))] Dave is not rough.[(((triple10) -> rule7) OR ((((((triple8) -> rule4) triple8) -> rule8)) -> rule7) OR ((((((triple9) -> rule2) triple8) -> rule8)) -> rule7))] Erin is big.[(((triple11) -> rule5))] Harry is furry.[(((triple12) -> rule2))] @2: Erin is cold.[(((((triple11) -> rule5)) -> rule1))] @3: Erin is furry.[(((((((triple11) -> rule5)) -> rule1)) -> rule4))] @4: Erin is green.[(((((((triple11) -> rule5)) -> rule1) ((((((triple11) -> rule5)) -> rule1)) -> rule4)) -> rule6))] Erin is quiet.[(((((((((triple11) -> rule5)) -> rule1)) -> rule4) ((((triple11) -> rule5)) -> rule1)) -> rule8) OR ((((((((triple11) -> rule5)) -> rule1) ((((((triple11) -> rule5)) -> rule1)) -> rule4)) -> rule6) triple11) -> rule9))] @5: Erin is not rough.[(((((((((((triple11) -> rule5)) -> rule1)) -> rule4) ((((triple11) -> rule5)) -> rule1)) -> rule8)) -> rule7) OR ((((((((((triple11) -> rule5)) -> rule1) ((((((triple11) -> rule5)) -> rule1)) -> rule4)) -> rule6) triple11) -> rule9)) -> rule7))]
Charlie is big.
("Charlie" "is" "big" "+")
triple1
Charlie is cold.
("Charlie" "is" "cold" "+")
triple2
((triple1) -> (rule1 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
triple3
((triple2) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((triple4) -> (rule2 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
triple4
((triple2 triple3) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
((triple2 ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple1) -> (rule1 % int2)) triple3) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple2) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((triple2 ((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((triple1) -> (rule1 % int3)) ((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not rough.
("Charlie" "is" "rough" "-")
triple5
((((triple3 triple2) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
((((triple3 ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple2) -> (rule4 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple4) -> (rule2 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple2) -> (rule4 % int4)) ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((triple4) -> (rule2 % int4)) ((triple1) -> (rule1 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is furry.
("Charlie" "is" "furry" "+")
int4
((((((((triple1) -> (rule1 % int4))) -> (rule4 % int3)) triple2) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
((((((((triple1) -> (rule1 % int4))) -> (rule4 % int3)) ((triple1) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Charlie is not rough.
("Charlie" "is" "rough" "-")
int1
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
Charlie is cold.
("Charlie" "is" "cold" "+")
int4
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple6
Dave is cold.
("Dave" "is" "cold" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple9
((triple8 ((triple8) -> (rule4 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Dave is not big.
("Dave" "is" "big" "-")
triple7
Dave is quiet.
("Dave" "is" "quiet" "+")
triple10
((((triple8) -> (rule4 % int2)) triple8) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
((((triple9) -> (rule2 % int2)) triple8) -> (rule8 % int1))
Dave is quiet.
("Dave" "is" "quiet" "+")
int1
Dave is furry.
("Dave" "is" "furry" "+")
int2
Erin is smart.
("Erin" "is" "smart" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple12
Charlie is quiet.
("Charlie" "is" "quiet" "+")
((triple3 triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
((triple3 ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
((((triple2) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple4) -> (rule2 % int2)) triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((triple4) -> (rule2 % int3)) ((triple1) -> (rule1 % int2))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is furry.
("Charlie" "is" "furry" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) triple2) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2)) ((triple1) -> (rule1 % int3))) -> (rule8 % int1))
Charlie is quiet.
("Charlie" "is" "quiet" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Dave is furry.
("Dave" "is" "furry" "+")
((triple8) -> (rule4 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
((triple9) -> (rule2 % int1))
Dave is furry.
("Dave" "is" "furry" "+")
int1
Dave is not rough.
("Dave" "is" "rough" "-")
((triple10) -> (rule7 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
((((((triple8) -> (rule4 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
((((((triple9) -> (rule2 % int3)) triple8) -> (rule8 % int2))) -> (rule7 % int1))
Dave is not rough.
("Dave" "is" "rough" "-")
int1
Dave is quiet.
("Dave" "is" "quiet" "+")
int2
Dave is furry.
("Dave" "is" "furry" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
((triple11) -> (rule5 % int1))
Erin is big.
("Erin" "is" "big" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
((triple12) -> (rule2 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
((((triple11) -> (rule5 % int2))) -> (rule1 % int1))
Erin is cold.
("Erin" "is" "cold" "+")
int1
Erin is big.
("Erin" "is" "big" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
((((((triple11) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
Erin is furry.
("Erin" "is" "furry" "+")
int1
Erin is cold.
("Erin" "is" "cold" "+")
int2
Erin is big.
("Erin" "is" "big" "+")
int3
Erin is green.
("Erin" "is" "green" "+")
((((((triple11) -> (rule5 % int4))) -> (rule1 % int3)) ((((((triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Erin is green.
("Erin" "is" "green" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
Erin is quiet.
("Erin" "is" "quiet" "+")
((((((((triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((triple11) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule8 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is furry.
("Erin" "is" "furry" "+")
int2
Erin is cold.
("Erin" "is" "cold" "+")
int3
Erin is big.
("Erin" "is" "big" "+")
int4
((((((((triple11) -> (rule5 % int5))) -> (rule1 % int4)) ((((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3))) -> (rule6 % int2)) triple11) -> (rule9 % int1))
Erin is quiet.
("Erin" "is" "quiet" "+")
int1
Erin is green.
("Erin" "is" "green" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
Erin is not rough.
("Erin" "is" "rough" "-")
((((((((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule4 % int3)) ((((triple11) -> (rule5 % int5))) -> (rule1 % int4))) -> (rule8 % int2))) -> (rule7 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is furry.
("Erin" "is" "furry" "+")
int3
Erin is cold.
("Erin" "is" "cold" "+")
int4
Erin is big.
("Erin" "is" "big" "+")
int5
((((((((((triple11) -> (rule5 % int6))) -> (rule1 % int5)) ((((((triple11) -> (rule5 % int6))) -> (rule1 % int5))) -> (rule4 % int4))) -> (rule6 % int3)) triple11) -> (rule9 % int2))) -> (rule7 % int1))
Erin is not rough.
("Erin" "is" "rough" "-")
int1
Erin is quiet.
("Erin" "is" "quiet" "+")
int2
Erin is green.
("Erin" "is" "green" "+")
int3
Erin is furry.
("Erin" "is" "furry" "+")
int4
Erin is cold.
("Erin" "is" "cold" "+")
int5
Erin is big.
("Erin" "is" "big" "+")
int6