Alan is a person both green and big. Having a round body that is very big makes Eric a kind hearted person that often feels green. Gary, who is nice and kind, can also be thought of as cold and rough. Harry wears all blue. You will probably see that red, round people are nice, as well as green. When someone is young they can be nice and kind, but green in society. Rough and kind people are big. I see it all the time, nice big people make equal a cold person. A kind person who is big in size is definitely young. If you color the young ones blue then they will be kind.
Alan is green.
("Alan" "is" "green" "+")
Alan is big.
("Alan" "is" "big" "+")
Eric is round.
("Eric" "is" "round" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is green.
("Eric" "is" "green" "+")
Eric is big.
("Eric" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is round and red and nice then they are green.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and nice and young then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and kind then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and big then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and young then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
Eric is kind.
True
1
proof
[(triple4)]
("Eric" "is" "kind" "+")
triple4
Alan is not green.
False
1
inv-proof
[(triple1)]
("Alan" "is" "green" "-")
triple1
Gary is big.
True
3
proof
[(((triple7 triple9) -> rule3))]
("Gary" "is" "big" "+")
((triple7 triple9) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
3
inv-proof
[(((triple7 triple9) -> rule3))]
("Gary" "is" "big" "-")
((triple7 triple9) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
True
5
proof
[(((triple9 ((triple7 triple9) -> rule3)) -> rule5))]
("Gary" "is" "young" "+")
((triple9 ((triple7 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is not young.
False
5
inv-proof
[(((triple9 ((triple7 triple9) -> rule3)) -> rule5))]
("Gary" "is" "young" "-")
((triple9 ((triple7 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
True
8
proof
[(((triple9 triple8 ((triple9 ((triple7 triple9) -> rule3)) -> rule5)) -> rule2))]
("Gary" "is" "green" "+")
((triple9 triple8 ((triple9 ((triple7 triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Gary is not green.
False
8
inv-proof
[(((triple9 triple8 ((triple9 ((triple7 triple9) -> rule3)) -> rule5)) -> rule2))]
("Gary" "is" "green" "-")
((triple9 triple8 ((triple9 ((triple7 triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Harry is not cold.
Unknown
inv-rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "-")
Eric is cold.
Unknown
rconc
[@1: Eric is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "cold" "+")
Harry is not big.
Unknown
inv-rconc
[@1: Harry is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "big" "-")
Alan is kind.
Unknown
rconc
[@1: Alan is kind.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Alan" "is" "kind" "+")
Eric is not blue.
Unknown
inv-random
[@0: Eric is blue.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "blue" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Alan is blue.
Unknown
random
[@0: Alan is blue.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "blue" "+")
@0: Alan is big.[(triple2)] Alan is green.[(triple1)] Eric is big.[(triple6)] Eric is green.[(triple5)] Eric is kind.[(triple4)] Eric is round.[(triple3)] Gary is cold.[(triple10 OR ((triple8 ((triple7 triple9) -> rule3)) -> rule4))] Gary is kind.[(triple9)] Gary is nice.[(triple8)] Gary is rough.[(triple7)] Harry is blue.[(triple11)] @1: Eric is young.[(((triple4 triple6) -> rule5))] Gary is big.[(((triple7 triple9) -> rule3))] @2: Gary is young.[(((triple9 ((triple7 triple9) -> rule3)) -> rule5))] @3: Gary is green.[(((triple9 triple8 ((triple9 ((triple7 triple9) -> rule3)) -> rule5)) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is green.
("Alan" "is" "green" "+")
triple1
Eric is big.
("Eric" "is" "big" "+")
triple6
Eric is green.
("Eric" "is" "green" "+")
triple5
Eric is kind.
("Eric" "is" "kind" "+")
triple4
Eric is round.
("Eric" "is" "round" "+")
triple3
Gary is cold.
("Gary" "is" "cold" "+")
triple10
((triple8 ((triple7 triple9) -> (rule3 % int2))) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is nice.
("Gary" "is" "nice" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Eric is young.
("Eric" "is" "young" "+")
((triple4 triple6) -> (rule5 % int1))
Eric is young.
("Eric" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple7 triple9) -> (rule3 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple9 ((triple7 triple9) -> (rule3 % int2))) -> (rule5 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((triple9 triple8 ((triple9 ((triple7 triple9) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
int3
Alan is a person both green and big.
Having a round body that is very big makes Eric a kind hearted person that often feels green.
Gary, who is nice and kind, can also be thought of as cold and rough.
Harry wears all blue.
You will probably see that red, round people are nice, as well as green.
When someone is young they can be nice and kind, but green in society.
Rough and kind people are big.
I see it all the time, nice big people make equal a cold person.
A kind person who is big in size is definitely young.
If you color the young ones blue then they will be kind.