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