People think Alan is nice and kind for someone so young.  Alan wears his favorite color green all the time. Dave is rough and cold, but he's young and will get over it. Gary has rough skin so it is red. He is big but so very kind. Harry was born only a few years ago so he is young. A young aged and blue colored person will certainly be round. Kind, young, green persons are sure to be rough persons, too. Any person who is blue and round, if they are kind at the same time, will be young. Interestingly, cold and rough people are kind. People who are big and kind and feel down and blue tend to have rough skin. Cold and kind people tend to be blue. When you meet someone with cold, rough skin and a round figure they will be nice.
If someone is young and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and round and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and kind then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and cold and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
Alan is kind.
True
1
proof
[(triple3)]
("Alan" "is" "kind" "+")
triple3
Alan is not kind.
False
1
inv-proof
[(triple3)]
("Alan" "is" "kind" "-")
triple3
Dave is kind.
True
3
proof
[(((triple7 triple6) -> rule4))]
("Dave" "is" "kind" "+")
((triple7 triple6) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is not kind.
False
3
inv-proof
[(((triple7 triple6) -> rule4))]
("Dave" "is" "kind" "-")
((triple7 triple6) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
True
5
proof
[(((triple7 ((triple7 triple6) -> rule4)) -> rule6))]
("Dave" "is" "blue" "+")
((triple7 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is not blue.
False
5
inv-proof
[(((triple7 ((triple7 triple6) -> rule4)) -> rule6))]
("Dave" "is" "blue" "-")
((triple7 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
True
7
proof
[(((triple5 ((triple7 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1))]
("Dave" "is" "round" "+")
((triple5 ((triple7 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is not round.
False
7
inv-proof
[(((triple5 ((triple7 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1))]
("Dave" "is" "round" "-")
((triple5 ((triple7 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is nice.
True
10
proof
[(((triple6 triple7 ((triple5 ((triple7 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule7))]
("Dave" "is" "nice" "+")
((triple6 triple7 ((triple5 ((triple7 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Dave is not nice.
False
10
inv-proof
[(((triple6 triple7 ((triple5 ((triple7 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule7))]
("Dave" "is" "nice" "-")
((triple6 triple7 ((triple5 ((triple7 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Harry" "is" "nice" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not blue.
Unknown
inv-rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "blue" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "blue" "+")
Harry is not kind.
Unknown
inv-rconc
[@1: Harry is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "kind" "-")
Alan is red.
Unknown
random
[@0: Alan is red.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "red" "+")
Gary is not green.
Unknown
inv-random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "-")
Alan is big.
Unknown
random
[@0: Alan is big.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "big" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
@0: Alan is green.[(triple4)] Alan is kind.[(triple3)] Alan is nice.[(triple2)] Alan is young.[(triple1)] Dave is cold.[(triple7)] Dave is rough.[(triple6)] Dave is young.[(triple5)] Gary is big.[(triple11)] Gary is kind.[(triple10)] Gary is red.[(triple9)] Gary is rough.[(triple8)] Harry is young.[(triple12)] @1: Alan is rough.[(((triple3 triple1 triple4) -> rule2))] Dave is kind.[(((triple7 triple6) -> rule4))] @2: Dave is blue.[(((triple7 ((triple7 triple6) -> rule4)) -> rule6))] @3: Dave is round.[(((triple5 ((triple7 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1))] @4: Dave is nice.[(((triple6 triple7 ((triple5 ((triple7 ((triple7 triple6) -> rule4)) -> rule6)) -> rule1)) -> rule7))]
Alan is green.
("Alan" "is" "green" "+")
triple4
Alan is kind.
("Alan" "is" "kind" "+")
triple3
Alan is nice.
("Alan" "is" "nice" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is young.
("Dave" "is" "young" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple11
Gary is kind.
("Gary" "is" "kind" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple12
Alan is rough.
("Alan" "is" "rough" "+")
((triple3 triple1 triple4) -> (rule2 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple7 triple6) -> (rule4 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((triple7 ((triple7 triple6) -> (rule4 % int2))) -> (rule6 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
((triple5 ((triple7 ((triple7 triple6) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
int3
Dave is nice.
("Dave" "is" "nice" "+")
((triple6 triple7 ((triple5 ((triple7 ((triple7 triple6) -> (rule4 % int4))) -> (rule6 % int3))) -> (rule1 % int2))) -> (rule7 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is kind.
("Dave" "is" "kind" "+")
int4
People think Alan is nice and kind for someone so young; Alan wears his favorite color green all the time.
Dave is rough and cold, but he's young and will get over it.
Gary has rough skin so it is red; He is big but so very kind.
Harry was born only a few years ago so he is young.
A young aged and blue colored person will certainly be round.
Kind, young, green persons are sure to be rough persons, too.
Any person who is blue and round, if they are kind at the same time, will be young.
Interestingly, cold and rough people are kind.
People who are big and kind and feel down and blue tend to have rough skin.
Cold and kind people tend to be blue.
When you meet someone with cold, rough skin and a round figure they will be nice.