Red Bob is what folks call him, because he is quite red. Charlie is young and kind.  But he plays really rough with his friends. Fred is both big and round, with blue features. Young Harry has red, rough skin, but is nice and kind. Big people who are round in stature and also feel rough are often cold to other people. I've been told that big, nice people are very rough. Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue. Anyone you find who happens to be kind and blue will also be very nice. Someone who is young and nice is often round. If a nice person is round shaped, they feel blue about it. If you run into a cold and kind person, they are always big.
Bob is red.
("Bob" "is" "red" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is big and rough and round then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and nice then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is kind and rough and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and blue then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is nice and round then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Harry is red.
True
1
proof
[(triple10)]
("Harry" "is" "red" "+")
triple10
Charlie is not rough.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "rough" "-")
triple3
Charlie is blue.
True
4
proof
[(((triple4 triple3 triple2) -> rule3))]
("Charlie" "is" "blue" "+")
((triple4 triple3 triple2) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Harry is not blue.
False
4
inv-proof
[(((triple12 triple9 triple8) -> rule3) OR ((triple11 ((triple8 triple11) -> rule5)) -> rule6))]
("Harry" "is" "blue" "-")
((triple12 triple9 triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple11 ((triple8 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Charlie is nice.
True
6
proof
[(((triple4 ((triple4 triple3 triple2) -> rule3)) -> rule4))]
("Charlie" "is" "nice" "+")
((triple4 ((triple4 triple3 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not nice.
False
6
inv-proof
[(((triple4 ((triple4 triple3 triple2) -> rule3)) -> rule4))]
("Charlie" "is" "nice" "-")
((triple4 ((triple4 triple3 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
True
8
proof
[(((triple2 ((triple4 ((triple4 triple3 triple2) -> rule3)) -> rule4)) -> rule5))]
("Charlie" "is" "round" "+")
((triple2 ((triple4 ((triple4 triple3 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not round.
False
8
inv-proof
[(((triple2 ((triple4 ((triple4 triple3 triple2) -> rule3)) -> rule4)) -> rule5))]
("Charlie" "is" "round" "-")
((triple2 ((triple4 ((triple4 triple3 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Charlie" "is" "cold" "-")
Charlie is big.
Unknown
rconc
[@2: Charlie is big.[CWA. Example of deepest failure = (rule7 <- rule1 <- FAIL)]]
("Charlie" "is" "big" "+")
Bob is not big.
Unknown
inv-rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Bob" "is" "big" "-")
Harry is cold.
Unknown
rconc
[@2: Harry is cold.[CWA. Example of deepest failure = (rule1 <- rule7 <- FAIL)]]
("Harry" "is" "cold" "+")
Fred is not young.
Unknown
inv-random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Bob is not kind.
Unknown
inv-random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "-")
Harry is green.
Unknown
random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "+")
@0: Bob is red.[(triple1)] Charlie is kind.[(triple4)] Charlie is rough.[(triple3)] Charlie is young.[(triple2)] Fred is big.[(triple7)] Fred is blue.[(triple6)] Fred is round.[(triple5)] Harry is kind.[(triple12)] Harry is nice.[(triple11 OR ((triple12 ((triple12 triple9 triple8) -> rule3)) -> rule4))] Harry is red.[(triple10)] Harry is rough.[(triple9)] Harry is young.[(triple8)] @1: Charlie is blue.[(((triple4 triple3 triple2) -> rule3))] Harry is blue.[(((triple12 triple9 triple8) -> rule3) OR ((triple11 ((triple8 triple11) -> rule5)) -> rule6))] Harry is round.[(((triple8 triple11) -> rule5) OR ((triple8 ((triple12 ((triple12 triple9 triple8) -> rule3)) -> rule4)) -> rule5))] @2: Charlie is nice.[(((triple4 ((triple4 triple3 triple2) -> rule3)) -> rule4))] @3: Charlie is round.[(((triple2 ((triple4 ((triple4 triple3 triple2) -> rule3)) -> rule4)) -> rule5))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Charlie is young.
("Charlie" "is" "young" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple7
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is round.
("Fred" "is" "round" "+")
triple5
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
((triple12 ((triple12 triple9 triple8) -> (rule3 % int2))) -> (rule4 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
int2
Harry is red.
("Harry" "is" "red" "+")
triple10
Harry is rough.
("Harry" "is" "rough" "+")
triple9
Harry is young.
("Harry" "is" "young" "+")
triple8
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple4 triple3 triple2) -> (rule3 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Harry is blue.
("Harry" "is" "blue" "+")
((triple12 triple9 triple8) -> (rule3 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
((triple11 ((triple8 triple11) -> (rule5 % int2))) -> (rule6 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is round.
("Harry" "is" "round" "+")
int2
Harry is round.
("Harry" "is" "round" "+")
((triple8 triple11) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
((triple8 ((triple12 ((triple12 triple9 triple8) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Harry is round.
("Harry" "is" "round" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple4 ((triple4 triple3 triple2) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
((triple2 ((triple4 ((triple4 triple3 triple2) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Red Bob is what folks call him, because he is quite red.
Charlie is young and kind; But he plays really rough with his friends.
Fred is both big and round, with blue features.
Young Harry has red, rough skin, but is nice and kind.
Big people who are round in stature and also feel rough are often cold to other people.
I've been told that big, nice people are very rough.
Try to cheer up those young folks that are rough and kind, for they are very likely feeling blue.
Anyone you find who happens to be kind and blue will also be very nice.
Someone who is young and nice is often round.
If a nice person is round shaped, they feel blue about it.
If you run into a cold and kind person, they are always big.