To be young and red like Bob is pretty nice, which Green Bob is also. In the snow sits Fred, crying from being cold. Gary is round shaped and green colored. Harry who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger.  Usually though he is described as being a kind and nice person. Soon you will understand that big people are nice. Kind people that are rough and round are also considered big. When someone is young, they can be cold but kind. All the kind people in blue were young. I've noticed that red, cold people who are kind have the trait of rough skin. A green and red colored person who has a nice temperament will be cold. It's always true that round, kind people are rough as well.
Bob is young.
("Bob" "is" "young" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is green.
("Bob" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is green.
("Harry" "is" "green" "+")
If someone is big then they are nice.
((("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and kind and round then they are big.
((("someone" "is" "rough" "+") ("someone" "is" "kind" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is young and cold then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is blue and kind then they are young.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and cold and red then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is green and nice and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and kind then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
Fred is cold.
True
1
proof
[(triple5)]
("Fred" "is" "cold" "+")
triple5
Harry is not green.
False
1
inv-proof
[(triple11)]
("Harry" "is" "green" "-")
triple11
Harry is cold.
True
4
proof
[(((triple11 triple9 triple8) -> rule6))]
("Harry" "is" "cold" "+")
((triple11 triple9 triple8) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is not cold.
False
4
inv-proof
[(((triple11 triple9 triple8) -> rule6))]
("Harry" "is" "cold" "-")
((triple11 triple9 triple8) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is rough.
True
7
proof
[(((triple10 ((triple11 triple9 triple8) -> rule6) triple8) -> rule5))]
("Harry" "is" "rough" "+")
((triple10 ((triple11 triple9 triple8) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Bob is not kind.
False
6
inv-proof
[(((triple1 ((triple4 triple3 triple2) -> rule6)) -> rule3))]
("Bob" "is" "kind" "-")
((triple1 ((triple4 triple3 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is rough.
True
12
proof
[(((((triple1 ((triple4 triple3 triple2) -> rule6)) -> rule3) ((triple4 triple3 triple2) -> rule6) triple2) -> rule5))]
("Bob" "is" "rough" "+")
((((triple1 ((triple4 triple3 triple2) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4 triple3 triple2) -> (rule6 % int3)) triple2) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Bob is not rough.
False
12
inv-proof
[(((((triple1 ((triple4 triple3 triple2) -> rule6)) -> rule3) ((triple4 triple3 triple2) -> rule6) triple2) -> rule5))]
("Bob" "is" "rough" "-")
((((triple1 ((triple4 triple3 triple2) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4 triple3 triple2) -> (rule6 % int3)) triple2) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
Gary is not big.
Unknown
inv-rconc
[@3: Gary is big.[CWA. Example of deepest failure = (rule2 <- rule3 <- rule4 <- FAIL)]]
("Gary" "is" "big" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "young" "+")
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Fred" "is" "rough" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "+")
Gary is not blue.
Unknown
inv-random
[@0: Gary is blue.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "blue" "-")
Fred is green.
Unknown
random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "+")
Harry is not round.
Unknown
inv-random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "-")
Bob is blue.
Unknown
random
[@0: Bob is blue.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "blue" "+")
@0: Bob is green.[(triple4)] Bob is nice.[(triple3)] Bob is red.[(triple2)] Bob is young.[(triple1)] Fred is cold.[(triple5)] Gary is green.[(triple7)] Gary is round.[(triple6)] Harry is green.[(triple11)] Harry is kind.[(triple10)] Harry is nice.[(triple9)] Harry is red.[(triple8)] @1: Bob is cold.[(((triple4 triple3 triple2) -> rule6))] Harry is cold.[(((triple11 triple9 triple8) -> rule6))] @2: Bob is kind.[(((triple1 ((triple4 triple3 triple2) -> rule6)) -> rule3))] Harry is rough.[(((triple10 ((triple11 triple9 triple8) -> rule6) triple8) -> rule5))] @3: Bob is rough.[(((((triple1 ((triple4 triple3 triple2) -> rule6)) -> rule3) ((triple4 triple3 triple2) -> rule6) triple2) -> rule5))]
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is nice.
("Bob" "is" "nice" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Fred is cold.
("Fred" "is" "cold" "+")
triple5
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is green.
("Harry" "is" "green" "+")
triple11
Harry is kind.
("Harry" "is" "kind" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is red.
("Harry" "is" "red" "+")
triple8
Bob is cold.
("Bob" "is" "cold" "+")
((triple4 triple3 triple2) -> (rule6 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple11 triple9 triple8) -> (rule6 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((triple1 ((triple4 triple3 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Harry is rough.
("Harry" "is" "rough" "+")
((triple10 ((triple11 triple9 triple8) -> (rule6 % int2)) triple8) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
((((triple1 ((triple4 triple3 triple2) -> (rule6 % int3))) -> (rule3 % int2)) ((triple4 triple3 triple2) -> (rule6 % int3)) triple2) -> (rule5 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is cold.
("Bob" "is" "cold" "+")
int3
To be young and red like Bob is pretty nice, which Green Bob is also.
In the snow sits Fred, crying from being cold.
Gary is round shaped and green colored.
Harry who is is looking green after smelling the trash left out in the hot sun is seeing red from his anger; Usually though he is described as being a kind and nice person.
Soon you will understand that big people are nice.
Kind people that are rough and round are also considered big.
When someone is young, they can be cold but kind.
All the kind people in blue were young.
I've noticed that red, cold people who are kind have the trait of rough skin.
A green and red colored person who has a nice temperament will be cold.
It's always true that round, kind people are rough as well.