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