Dave is rough. Dave is smart. Fiona is not nice. Fiona is quiet. Fiona is white. Fiona is young. Gary is kind. Gary is quiet. Gary is white. Harry is nice. All kind people are white. If someone is quiet and kind then they are white. Quiet people are young. All nice people are quiet. Young people are kind. Nice people are rough. If someone is white then they are not smart. If Fiona is young and Fiona is not kind then Fiona is not white. If Fiona is kind and Fiona is not young then Fiona is smart.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is smart.
("Dave" "is" "smart" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is nice.
("Harry" "is" "nice" "+")
All kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is quiet and kind then they are white.
((("someone" "is" "quiet" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
Quiet people are young.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
All nice people are quiet.
((("someone" "is" "nice" "+")) -> ("someone" "is" "quiet" "+"))
Young people are kind.
((("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Nice people are rough.
((("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is white then they are not smart.
((("someone" "is" "white" "+")) -> ("someone" "is" "smart" "-"))
If Fiona is young and Fiona is not kind then Fiona is not white.
((("Fiona" "is" "young" "+") ("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "white" "-"))
If Fiona is kind and Fiona is not young then Fiona is smart.
((("Fiona" "is" "kind" "+") ("Fiona" "is" "young" "~")) -> ("Fiona" "is" "smart" "+"))
Fiona is white.
True
1
proof
[(triple5 OR ((((triple6) -> rule5)) -> rule1) OR ((triple4 ((triple6) -> rule5)) -> rule2) OR ((((((triple4) -> rule3)) -> rule5)) -> rule1) OR ((triple4 ((((triple4) -> rule3)) -> rule5)) -> rule2))]
("Fiona" "is" "white" "+")
triple5
((((triple6) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple4 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple4 ((((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Gary is not kind.
False
1
inv-proof
[(triple7 OR ((((triple8) -> rule3)) -> rule5))]
("Gary" "is" "kind" "-")
triple7
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not smart.
True
2
proof
[(((triple9) -> rule7) OR ((((triple7) -> rule1)) -> rule7) OR ((((triple8 triple7) -> rule2)) -> rule7) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule1)) -> rule7) OR ((((triple8 ((((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
("Gary" "is" "smart" "-")
((triple9) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
((((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple8 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple8 ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is smart.
False
2
inv-proof
[(((triple9) -> rule7) OR ((((triple7) -> rule1)) -> rule7) OR ((((triple8 triple7) -> rule2)) -> rule7) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule1)) -> rule7) OR ((((triple8 ((((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
("Gary" "is" "smart" "+")
((triple9) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
((((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple8 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple8 ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Harry is young.
True
3
proof
[(((((triple10) -> rule4)) -> rule3))]
("Harry" "is" "young" "+")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is not young.
False
3
inv-proof
[(((((triple10) -> rule4)) -> rule3))]
("Harry" "is" "young" "-")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
True
4
proof
[(((((((triple10) -> rule4)) -> rule3)) -> rule5))]
("Harry" "is" "kind" "+")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is not kind.
False
4
inv-proof
[(((((((triple10) -> rule4)) -> rule3)) -> rule5))]
("Harry" "is" "kind" "-")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
True
5
proof
[(((((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((triple10) -> rule4) ((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2))]
("Harry" "is" "white" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple10) -> (rule4 % int4)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is not white.
False
5
inv-proof
[(((((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((triple10) -> rule4) ((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2))]
("Harry" "is" "white" "-")
((((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple10) -> (rule4 % int4)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is not smart.
True
6
proof
[(((((((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule1)) -> rule7) OR ((((((triple10) -> rule4) ((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
("Harry" "is" "smart" "-")
((((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Harry is smart.
False
6
inv-proof
[(((((((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule1)) -> rule7) OR ((((((triple10) -> rule4) ((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
("Harry" "is" "smart" "+")
((((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
Dave is not kind.
Unknown
inv-rconc
[@3: Dave is kind.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule4 <- FAIL)]]
("Dave" "is" "kind" "-")
Dave is white.
Unknown
rconc
[@4: Dave is white.[CWA. Example of deepest failure = (rule1 <- rule5 <- rule3 <- rule4 <- FAIL)]]
("Dave" "is" "white" "+")
Dave is not quiet.
Unknown
inv-rconc
[@1: Dave is quiet.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "quiet" "-")
Fiona is rough.
Unknown
rconc
[@1: Fiona is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Fiona" "is" "rough" "+")
Gary is not rough.
Unknown
inv-rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "rough" "-")
Dave is young.
Unknown
rconc
[@2: Dave is young.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("Dave" "is" "young" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is rough.[(triple1)] Dave is smart.[(triple2)] Fiona is not nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is white.[(triple5 OR ((((triple6) -> rule5)) -> rule1) OR ((triple4 ((triple6) -> rule5)) -> rule2) OR ((((((triple4) -> rule3)) -> rule5)) -> rule1) OR ((triple4 ((((triple4) -> rule3)) -> rule5)) -> rule2))] Fiona is young.[(triple6 OR ((triple4) -> rule3))] Gary is kind.[(triple7 OR ((((triple8) -> rule3)) -> rule5))] Gary is quiet.[(triple8)] Gary is white.[(triple9 OR ((triple7) -> rule1) OR ((triple8 triple7) -> rule2) OR ((((((triple8) -> rule3)) -> rule5)) -> rule1) OR ((triple8 ((((triple8) -> rule3)) -> rule5)) -> rule2))] Harry is nice.[(triple10)] @1: Fiona is kind.[(((triple6) -> rule5) OR ((((triple4) -> rule3)) -> rule5))] Fiona is not smart.[(((triple5) -> rule7) OR ((((((triple6) -> rule5)) -> rule1)) -> rule7) OR ((((triple4 ((triple6) -> rule5)) -> rule2)) -> rule7) OR ((((((((triple4) -> rule3)) -> rule5)) -> rule1)) -> rule7) OR ((((triple4 ((((triple4) -> rule3)) -> rule5)) -> rule2)) -> rule7))] Gary is not smart.[(((triple9) -> rule7) OR ((((triple7) -> rule1)) -> rule7) OR ((((triple8 triple7) -> rule2)) -> rule7) OR ((((((((triple8) -> rule3)) -> rule5)) -> rule1)) -> rule7) OR ((((triple8 ((((triple8) -> rule3)) -> rule5)) -> rule2)) -> rule7))] Gary is young.[(((triple8) -> rule3))] Harry is quiet.[(((triple10) -> rule4))] Harry is rough.[(((triple10) -> rule6))] @2: Harry is young.[(((((triple10) -> rule4)) -> rule3))] @3: Harry is kind.[(((((((triple10) -> rule4)) -> rule3)) -> rule5))] @4: Harry is white.[(((((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule1) OR ((((triple10) -> rule4) ((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2))] @5: Harry is not smart.[(((((((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule1)) -> rule7) OR ((((((triple10) -> rule4) ((((((triple10) -> rule4)) -> rule3)) -> rule5)) -> rule2)) -> rule7))]
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Dave is smart.
("Dave" "is" "smart" "+")
triple2
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is white.
("Fiona" "is" "white" "+")
triple5
((((triple6) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((triple4 ((triple6) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
((((((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
((triple4 ((((triple4) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
int2
Fiona is young.
("Fiona" "is" "young" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
triple6
((triple4) -> (rule3 % int1))
Fiona is young.
("Fiona" "is" "young" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
triple7
((((triple8) -> (rule3 % int2))) -> (rule5 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is quiet.
("Gary" "is" "quiet" "+")
triple8
Gary is white.
("Gary" "is" "white" "+")
triple9
((triple7) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((triple8 triple7) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
((((((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
((triple8 ((((triple8) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
((triple6) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
((((triple4) -> (rule3 % int2))) -> (rule5 % int1))
Fiona is kind.
("Fiona" "is" "kind" "+")
int1
Fiona is young.
("Fiona" "is" "young" "+")
int2
Fiona is not smart.
("Fiona" "is" "smart" "-")
((triple5) -> (rule7 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
((((((triple6) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((triple4 ((triple6) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
((((((((triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
((((triple4 ((((triple4) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Fiona is not smart.
("Fiona" "is" "smart" "-")
int1
Fiona is white.
("Fiona" "is" "white" "+")
int2
Fiona is kind.
("Fiona" "is" "kind" "+")
int3
Fiona is young.
("Fiona" "is" "young" "+")
int4
Gary is not smart.
("Gary" "is" "smart" "-")
((triple9) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
((((triple7) -> (rule1 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((triple8 triple7) -> (rule2 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
((((((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
((((triple8 ((((triple8) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Gary is not smart.
("Gary" "is" "smart" "-")
int1
Gary is white.
("Gary" "is" "white" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is young.
("Gary" "is" "young" "+")
((triple8) -> (rule3 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
((triple10) -> (rule4 % int1))
Harry is quiet.
("Harry" "is" "quiet" "+")
int1
Harry is rough.
("Harry" "is" "rough" "+")
((triple10) -> (rule6 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
((((triple10) -> (rule4 % int2))) -> (rule3 % int1))
Harry is young.
("Harry" "is" "young" "+")
int1
Harry is quiet.
("Harry" "is" "quiet" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
((((((triple10) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is young.
("Harry" "is" "young" "+")
int2
Harry is quiet.
("Harry" "is" "quiet" "+")
int3
Harry is white.
("Harry" "is" "white" "+")
((((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
((((triple10) -> (rule4 % int4)) ((((((triple10) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Harry is white.
("Harry" "is" "white" "+")
int1
Harry is kind.
("Harry" "is" "kind" "+")
int2
Harry is young.
("Harry" "is" "young" "+")
int3
Harry is quiet.
("Harry" "is" "quiet" "+")
int4
Harry is not smart.
("Harry" "is" "smart" "-")
((((((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5
((((((triple10) -> (rule4 % int5)) ((((((triple10) -> (rule4 % int5))) -> (rule3 % int4))) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
Harry is not smart.
("Harry" "is" "smart" "-")
int1
Harry is white.
("Harry" "is" "white" "+")
int2
Harry is kind.
("Harry" "is" "kind" "+")
int3
Harry is young.
("Harry" "is" "young" "+")
int4
Harry is quiet.
("Harry" "is" "quiet" "+")
int5