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