Anne is smart. Bob is round. Fiona is young. Harry is blue. Harry is nice. Harry is round. Harry is young. If someone is smart and young then they are furry. If someone is round then they are blue. If someone is round and blue then they are smart. Furry, smart people are round. Smart, furry people are young. If someone is smart then they are young. All furry, round people are white.
Anne is smart.
("Anne" "is" "smart" "+")
Bob is round.
("Bob" "is" "round" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is young.
("Harry" "is" "young" "+")
If someone is smart and young then they are furry.
((("someone" "is" "smart" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "furry" "+"))
If someone is round then they are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and blue then they are smart.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Furry, smart people are round.
((("someone" "is" "furry" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "round" "+"))
Smart, furry people are young.
((("someone" "is" "smart" "+") ("someone" "is" "furry" "+")) -> ("someone" "is" "young" "+"))
If someone is smart then they are young.
((("someone" "is" "smart" "+")) -> ("someone" "is" "young" "+"))
All furry, round people are white.
((("someone" "is" "furry" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "white" "+"))
Fiona is young.
True
1
proof
[(triple3)]
("Fiona" "is" "young" "+")
triple3
Harry is not young.
False
1
inv-proof
[(triple7 OR ((((triple6 triple4) -> rule3)) -> rule6) OR ((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6))]
("Harry" "is" "young" "-")
triple7
((((triple6 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Bob is blue.
True
2
proof
[(((triple2) -> rule2))]
("Bob" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Anne is not young.
False
2
inv-proof
[(((triple1) -> rule6))]
("Anne" "is" "young" "-")
((triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is smart.
True
4
proof
[(((triple2 ((triple2) -> rule2)) -> rule3))]
("Bob" "is" "smart" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Harry is not furry.
False
5
inv-proof
[(((((triple6 triple4) -> rule3) triple7) -> rule1) OR ((((triple6 ((triple6) -> rule2)) -> rule3) triple7) -> rule1) OR ((((triple6 triple4) -> rule3) ((((triple6 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple6 ((triple6) -> rule2)) -> rule3) ((((triple6 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple6 triple4) -> rule3) ((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple6 ((triple6) -> rule2)) -> rule3) ((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6)) -> rule1))]
("Harry" "is" "furry" "-")
((((triple6 triple4) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple6 triple4) -> (rule3 % int3)) ((((triple6 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple6 ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple6 triple4) -> (rule3 % int4)) ((((triple6 ((triple6) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple6 ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6 ((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Anne is round.
True
6
proof
[(((((triple1 ((triple1) -> rule6)) -> rule1) triple1) -> rule4))]
("Anne" "is" "round" "+")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is not round.
False
6
inv-proof
[(((((triple1 ((triple1) -> rule6)) -> rule1) triple1) -> rule4))]
("Anne" "is" "round" "-")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Anne is white.
True
11
proof
[(((((triple1 ((triple1) -> rule6)) -> rule1) ((((triple1 ((triple1) -> rule6)) -> rule1) triple1) -> rule4)) -> rule7))]
("Anne" "is" "white" "+")
((((triple1 ((triple1) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple1 ((triple1) -> (rule6 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is not blue.
False
7
inv-proof
[(((((((triple1 ((triple1) -> rule6)) -> rule1) triple1) -> rule4)) -> rule2))]
("Anne" "is" "blue" "-")
((((((triple1 ((triple1) -> (rule6 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Bob is white.
True
12
proof
[(((((((triple2 ((triple2) -> rule2)) -> rule3) ((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule6)) -> rule1) triple2) -> rule7))]
("Bob" "is" "white" "+")
((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple2 ((triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Bob is not white.
False
12
inv-proof
[(((((((triple2 ((triple2) -> rule2)) -> rule3) ((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule6)) -> rule1) triple2) -> rule7))]
("Bob" "is" "white" "-")
((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple2 ((triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5
Fiona is not blue.
Unknown
inv-rconc
[@3: Fiona is blue.[CWA. Example of deepest failure = (rule2 <- rule4 <- rule3 <- FAIL)]]
("Fiona" "is" "blue" "-")
Fiona is furry.
Unknown
rconc
[@3: Fiona is furry.[CWA. Example of deepest failure = (rule1 <- rule3 <- rule4 <- FAIL)]]
("Fiona" "is" "furry" "+")
Fiona is not white.
Unknown
inv-rconc
[@3: Fiona is white.[CWA. Example of deepest failure = (rule7 <- rule4 <- rule3 <- FAIL)]]
("Fiona" "is" "white" "-")
Fiona is round.
Unknown
rconc
[@2: Fiona is round.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("Fiona" "is" "round" "+")
Fiona is not smart.
Unknown
inv-rconc
[@2: Fiona is smart.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Fiona" "is" "smart" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Fiona is nice.
Unknown
random
[@0: Fiona is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fiona" "is" "nice" "+")
@0: Anne is smart.[(triple1)] Bob is round.[(triple2)] Fiona is young.[(triple3)] Harry is blue.[(triple4 OR ((triple6) -> rule2))] Harry is nice.[(triple5)] Harry is round.[(triple6)] Harry is young.[(triple7 OR ((((triple6 triple4) -> rule3)) -> rule6) OR ((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6))] @1: Anne is young.[(((triple1) -> rule6))] Bob is blue.[(((triple2) -> rule2))] Harry is smart.[(((triple6 triple4) -> rule3) OR ((triple6 ((triple6) -> rule2)) -> rule3))] @2: Anne is furry.[(((triple1 ((triple1) -> rule6)) -> rule1))] Bob is smart.[(((triple2 ((triple2) -> rule2)) -> rule3))] Harry is furry.[(((((triple6 triple4) -> rule3) triple7) -> rule1) OR ((((triple6 ((triple6) -> rule2)) -> rule3) triple7) -> rule1) OR ((((triple6 triple4) -> rule3) ((((triple6 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple6 ((triple6) -> rule2)) -> rule3) ((((triple6 triple4) -> rule3)) -> rule6)) -> rule1) OR ((((triple6 triple4) -> rule3) ((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6)) -> rule1) OR ((((triple6 ((triple6) -> rule2)) -> rule3) ((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6)) -> rule1))] @3: Anne is round.[(((((triple1 ((triple1) -> rule6)) -> rule1) triple1) -> rule4))] Bob is young.[(((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule6))] Harry is white.[(((((((triple6 triple4) -> rule3) triple7) -> rule1) triple6) -> rule7) OR ((((((triple6 ((triple6) -> rule2)) -> rule3) triple7) -> rule1) triple6) -> rule7) OR ((((((triple6 triple4) -> rule3) ((((triple6 triple4) -> rule3)) -> rule6)) -> rule1) triple6) -> rule7) OR ((((((triple6 ((triple6) -> rule2)) -> rule3) ((((triple6 triple4) -> rule3)) -> rule6)) -> rule1) triple6) -> rule7) OR ((((((triple6 triple4) -> rule3) ((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6)) -> rule1) triple6) -> rule7) OR ((((((triple6 ((triple6) -> rule2)) -> rule3) ((((triple6 ((triple6) -> rule2)) -> rule3)) -> rule6)) -> rule1) triple6) -> rule7))] @4: Anne is blue.[(((((((triple1 ((triple1) -> rule6)) -> rule1) triple1) -> rule4)) -> rule2))] Anne is white.[(((((triple1 ((triple1) -> rule6)) -> rule1) ((((triple1 ((triple1) -> rule6)) -> rule1) triple1) -> rule4)) -> rule7))] Bob is furry.[(((((triple2 ((triple2) -> rule2)) -> rule3) ((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule6)) -> rule1))] @5: Bob is white.[(((((((triple2 ((triple2) -> rule2)) -> rule3) ((((triple2 ((triple2) -> rule2)) -> rule3)) -> rule6)) -> rule1) triple2) -> rule7))]
Anne is smart.
("Anne" "is" "smart" "+")
triple1
Bob is round.
("Bob" "is" "round" "+")
triple2
Fiona is young.
("Fiona" "is" "young" "+")
triple3
Harry is blue.
("Harry" "is" "blue" "+")
triple4
((triple6) -> (rule2 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
triple5
Harry is round.
("Harry" "is" "round" "+")
triple6
Harry is young.
("Harry" "is" "young" "+")
triple7
((((triple6 triple4) -> (rule3 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
((triple1) -> (rule6 % int1))
Anne is young.
("Anne" "is" "young" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
((triple2) -> (rule2 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
((triple6 triple4) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
((triple6 ((triple6) -> (rule2 % int2))) -> (rule3 % int1))
Harry is smart.
("Harry" "is" "smart" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
((triple1 ((triple1) -> (rule6 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is young.
("Anne" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
((triple2 ((triple2) -> (rule2 % int2))) -> (rule3 % int1))
Bob is smart.
("Bob" "is" "smart" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Harry is furry.
("Harry" "is" "furry" "+")
((((triple6 triple4) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
((((triple6 ((triple6) -> (rule2 % int3))) -> (rule3 % int2)) triple7) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is smart.
("Harry" "is" "smart" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
((((triple6 triple4) -> (rule3 % int3)) ((((triple6 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((triple6 ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6 triple4) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((triple6 triple4) -> (rule3 % int4)) ((((triple6 ((triple6) -> (rule2 % int3))) -> (rule3 % int4))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((triple6 ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple6 ((triple6) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Harry is furry.
("Harry" "is" "furry" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Anne is round.
("Anne" "is" "round" "+")
((((triple1 ((triple1) -> (rule6 % int3))) -> (rule1 % int2)) triple1) -> (rule4 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is furry.
("Anne" "is" "furry" "+")
int2
Anne is young.
("Anne" "is" "young" "+")
int3
Bob is young.
("Bob" "is" "young" "+")
((((triple2 ((triple2) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Bob is young.
("Bob" "is" "young" "+")
int1
Bob is smart.
("Bob" "is" "smart" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((((((triple6 triple4) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
((((((triple6 ((triple6) -> (rule2 % int4))) -> (rule3 % int3)) triple7) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is smart.
("Harry" "is" "smart" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
((((((triple6 triple4) -> (rule3 % int4)) ((((triple6 triple4) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
((((((triple6 ((triple6) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple6 triple4) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
((((((triple6 triple4) -> (rule3 % int5)) ((((triple6 ((triple6) -> (rule2 % int4))) -> (rule3 % int5))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is blue.
("Harry" "is" "blue" "+")
int4
Harry is smart.
("Harry" "is" "smart" "+")
int5
((((((triple6 ((triple6) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple6 ((triple6) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple6) -> (rule7 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is furry.
("Harry" "is" "furry" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is smart.
("Harry" "is" "smart" "+")
int4
Harry is blue.
("Harry" "is" "blue" "+")
int5
Anne is blue.
("Anne" "is" "blue" "+")
((((((triple1 ((triple1) -> (rule6 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule2 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Anne is white.
("Anne" "is" "white" "+")
((((triple1 ((triple1) -> (rule6 % int4))) -> (rule1 % int3)) ((((triple1 ((triple1) -> (rule6 % int4))) -> (rule1 % int3)) triple1) -> (rule4 % int2))) -> (rule7 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
Anne is furry.
("Anne" "is" "furry" "+")
int3
Anne is young.
("Anne" "is" "young" "+")
int4
Bob is furry.
("Bob" "is" "furry" "+")
((((triple2 ((triple2) -> (rule2 % int4))) -> (rule3 % int3)) ((((triple2 ((triple2) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is young.
("Bob" "is" "young" "+")
int2
Bob is smart.
("Bob" "is" "smart" "+")
int3
Bob is blue.
("Bob" "is" "blue" "+")
int4
Bob is white.
("Bob" "is" "white" "+")
((((((triple2 ((triple2) -> (rule2 % int5))) -> (rule3 % int4)) ((((triple2 ((triple2) -> (rule2 % int5))) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule1 % int2)) triple2) -> (rule7 % int1))
Bob is white.
("Bob" "is" "white" "+")
int1
Bob is furry.
("Bob" "is" "furry" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
int3
Bob is smart.
("Bob" "is" "smart" "+")
int4
Bob is blue.
("Bob" "is" "blue" "+")
int5