Dave is round shaped and green colored. Eric is so young and darling he is kind to all the old people on the block. Fred is big and green, which is good, because he is also cold and blue. Harry is blue and cold. Someone who looks rough and feels cold is also kind to others. A cold temperatured and green colored person who is also big will be young. A male or female with rough, kind and round traits will surely have a nice quality, as well. If you meet a person who is green, big and blue, you will find them to be nice. If you are big and young then your are also nice. Nice people who are big in stature often look rough.
Dave is round.
("Dave" "is" "round" "+")
Dave is green.
("Dave" "is" "green" "+")
Eric is young.
("Eric" "is" "young" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is big and green and cold then they are young.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and kind and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue and green and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is big and young then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
Harry is cold.
True
1
proof
[(triple9)]
("Harry" "is" "cold" "+")
triple9
Fred is not cold.
False
1
inv-proof
[(triple6)]
("Fred" "is" "cold" "-")
triple6
Fred is young.
True
4
proof
[(((triple8 triple5 triple6) -> rule2))]
("Fred" "is" "young" "+")
((triple8 triple5 triple6) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not nice.
False
4
inv-proof
[(((triple7 triple5 triple8) -> rule4) OR ((triple8 ((triple8 triple5 triple6) -> rule2)) -> rule5))]
("Fred" "is" "nice" "-")
((triple7 triple5 triple8) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple8 ((triple8 triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is rough.
True
6
proof
[(((((triple7 triple5 triple8) -> rule4) triple8) -> rule6) OR ((((triple8 ((triple8 triple5 triple6) -> rule2)) -> rule5) triple8) -> rule6))]
("Fred" "is" "rough" "+")
((((triple7 triple5 triple8) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple8 ((triple8 triple5 triple6) -> (rule2 % int3))) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not rough.
False
6
inv-proof
[(((((triple7 triple5 triple8) -> rule4) triple8) -> rule6) OR ((((triple8 ((triple8 triple5 triple6) -> rule2)) -> rule5) triple8) -> rule6))]
("Fred" "is" "rough" "-")
((((triple7 triple5 triple8) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple8 ((triple8 triple5 triple6) -> (rule2 % int3))) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
True
8
proof
[(((((((triple7 triple5 triple8) -> rule4) triple8) -> rule6) triple6) -> rule1) OR ((((((triple8 ((triple8 triple5 triple6) -> rule2)) -> rule5) triple8) -> rule6) triple6) -> rule1))]
("Fred" "is" "kind" "+")
((((((triple7 triple5 triple8) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple8 ((triple8 triple5 triple6) -> (rule2 % int4))) -> (rule5 % int3)) triple8) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Fred is not kind.
False
8
inv-proof
[(((((((triple7 triple5 triple8) -> rule4) triple8) -> rule6) triple6) -> rule1) OR ((((((triple8 ((triple8 triple5 triple6) -> rule2)) -> rule5) triple8) -> rule6) triple6) -> rule1))]
("Fred" "is" "kind" "-")
((((((triple7 triple5 triple8) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple8 ((triple8 triple5 triple6) -> (rule2 % int4))) -> (rule5 % int3)) triple8) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "young" "+")
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "nice" "-")
Harry is kind.
Unknown
rconc
[@2: Harry is kind.[CWA. Example of deepest failure = (rule1 <- rule6 <- FAIL)]]
("Harry" "is" "kind" "+")
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
Harry is not big.
Unknown
inv-random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Dave is green.[(triple2)] Dave is round.[(triple1)] Eric is kind.[(triple4)] Eric is young.[(triple3)] Fred is big.[(triple8)] Fred is blue.[(triple7)] Fred is cold.[(triple6)] Fred is green.[(triple5)] Harry is blue.[(triple10)] Harry is cold.[(triple9)] @1: Fred is nice.[(((triple7 triple5 triple8) -> rule4) OR ((triple8 ((triple8 triple5 triple6) -> rule2)) -> rule5))] Fred is young.[(((triple8 triple5 triple6) -> rule2))] @2: Fred is rough.[(((((triple7 triple5 triple8) -> rule4) triple8) -> rule6) OR ((((triple8 ((triple8 triple5 triple6) -> rule2)) -> rule5) triple8) -> rule6))] @3: Fred is kind.[(((((((triple7 triple5 triple8) -> rule4) triple8) -> rule6) triple6) -> rule1) OR ((((((triple8 ((triple8 triple5 triple6) -> rule2)) -> rule5) triple8) -> rule6) triple6) -> rule1))]
Dave is green.
("Dave" "is" "green" "+")
triple2
Dave is round.
("Dave" "is" "round" "+")
triple1
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is young.
("Eric" "is" "young" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is cold.
("Fred" "is" "cold" "+")
triple6
Fred is green.
("Fred" "is" "green" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Fred is nice.
("Fred" "is" "nice" "+")
((triple7 triple5 triple8) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
((triple8 ((triple8 triple5 triple6) -> (rule2 % int2))) -> (rule5 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
((triple8 triple5 triple6) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
((((triple7 triple5 triple8) -> (rule4 % int2)) triple8) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
((((triple8 ((triple8 triple5 triple6) -> (rule2 % int3))) -> (rule5 % int2)) triple8) -> (rule6 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is kind.
("Fred" "is" "kind" "+")
((((((triple7 triple5 triple8) -> (rule4 % int3)) triple8) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
((((((triple8 ((triple8 triple5 triple6) -> (rule2 % int4))) -> (rule5 % int3)) triple8) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is rough.
("Fred" "is" "rough" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is young.
("Fred" "is" "young" "+")
int4
Dave is round shaped and green colored.
Eric is so young and darling he is kind to all the old people on the block.
Fred is big and green, which is good, because he is also cold and blue.
Harry is blue and cold.
Someone who looks rough and feels cold is also kind to others.
A cold temperatured and green colored person who is also big will be young.
A male or female with rough, kind and round traits will surely have a nice quality, as well.
If you meet a person who is green, big and blue, you will find them to be nice.
If you are big and young then your are also nice.
Nice people who are big in stature often look rough.