Bob always goes out of his way to show that he is kind to people. They always call him rough Charlie. Fred plays rough and gets red in his round face,yet people know he is young and often blue. When you meet Harry you'll the two characteristics that will standout is that he's red but also rough. Someone big and rough in shape is always kind. If a person is red and green, then they will present as big. It's been proven that red, rough people are green as well. A nice red person that is cold is always big, I have found. Someone who is round like a dumpling and cold like an icicle are very young in age. A person who is kind but also rough and is also colored blue, will be shaped round. Unfortunately, all the young people who are considered green are all round.
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and green then they are big.
((("someone" "is" "red" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is red and rough then they are green.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
If someone is red and nice and cold then they are big.
((("someone" "is" "red" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is round and cold then they are young.
((("someone" "is" "round" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and rough and blue then they are round.
((("someone" "is" "kind" "+") ("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Fred is rough.
True
1
proof
[(triple5)]
("Fred" "is" "rough" "+")
triple5
Charlie is not rough.
False
1
inv-proof
[(triple2)]
("Charlie" "is" "rough" "-")
triple2
Harry is green.
True
3
proof
[(((triple9 triple8) -> rule3))]
("Harry" "is" "green" "+")
((triple9 triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple6 triple5) -> rule3))]
("Fred" "is" "green" "-")
((triple6 triple5) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is big.
True
5
proof
[(((triple6 ((triple6 triple5) -> rule3)) -> rule2))]
("Fred" "is" "big" "+")
((triple6 ((triple6 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Harry is not big.
False
5
inv-proof
[(((triple9 ((triple9 triple8) -> rule3)) -> rule2))]
("Harry" "is" "big" "-")
((triple9 ((triple9 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Fred is kind.
True
7
proof
[(((((triple6 ((triple6 triple5) -> rule3)) -> rule2) triple5) -> rule1))]
("Fred" "is" "kind" "+")
((((triple6 ((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not kind.
False
7
inv-proof
[(((((triple6 ((triple6 triple5) -> rule3)) -> rule2) triple5) -> rule1))]
("Fred" "is" "kind" "-")
((((triple6 ((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@2: Charlie is round.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("Charlie" "is" "round" "-")
Bob is green.
Unknown
rconc
[@1: Bob is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "green" "+")
Harry is not young.
Unknown
inv-rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "young" "-")
Charlie is young.
Unknown
rconc
[@1: Charlie is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "young" "+")
Fred is not cold.
Unknown
inv-random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is blue.
Unknown
random
[@0: Harry is blue.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "blue" "+")
@0: Bob is kind.[(triple1)] Charlie is rough.[(triple2)] Fred is blue.[(triple7)] Fred is red.[(triple6)] Fred is rough.[(triple5)] Fred is round.[(triple4 OR ((((triple6 triple5) -> rule3) triple3) -> rule7) OR ((((((triple6 ((triple6 triple5) -> rule3)) -> rule2) triple5) -> rule1) triple5 triple7) -> rule6))] Fred is young.[(triple3)] Harry is red.[(triple9)] Harry is rough.[(triple8)] @1: Fred is green.[(((triple6 triple5) -> rule3))] Harry is green.[(((triple9 triple8) -> rule3))] @2: Fred is big.[(((triple6 ((triple6 triple5) -> rule3)) -> rule2))] Harry is big.[(((triple9 ((triple9 triple8) -> rule3)) -> rule2))] @3: Fred is kind.[(((((triple6 ((triple6 triple5) -> rule3)) -> rule2) triple5) -> rule1))] Harry is kind.[(((((triple9 ((triple9 triple8) -> rule3)) -> rule2) triple8) -> rule1))]
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple7
Fred is red.
("Fred" "is" "red" "+")
triple6
Fred is rough.
("Fred" "is" "rough" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
((((triple6 triple5) -> (rule3 % int2)) triple3) -> (rule7 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
((((((triple6 ((triple6 triple5) -> (rule3 % int4))) -> (rule2 % int3)) triple5) -> (rule1 % int2)) triple5 triple7) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is green.
("Fred" "is" "green" "+")
int4
Fred is young.
("Fred" "is" "young" "+")
triple3
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
((triple6 triple5) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
((triple9 triple8) -> (rule3 % int1))
Harry is green.
("Harry" "is" "green" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
((triple6 ((triple6 triple5) -> (rule3 % int2))) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Harry is big.
("Harry" "is" "big" "+")
((triple9 ((triple9 triple8) -> (rule3 % int2))) -> (rule2 % int1))
Harry is big.
("Harry" "is" "big" "+")
int1
Harry is green.
("Harry" "is" "green" "+")
int2
Fred is kind.
("Fred" "is" "kind" "+")
((((triple6 ((triple6 triple5) -> (rule3 % int3))) -> (rule2 % int2)) triple5) -> (rule1 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Harry is kind.
("Harry" "is" "kind" "+")
((((triple9 ((triple9 triple8) -> (rule3 % int3))) -> (rule2 % int2)) triple8) -> (rule1 % int1))
Harry is kind.
("Harry" "is" "kind" "+")
int1
Harry is big.
("Harry" "is" "big" "+")
int2
Harry is green.
("Harry" "is" "green" "+")
int3
Bob always goes out of his way to show that he is kind to people.
They always call him rough Charlie.
Fred plays rough and gets red in his round face,yet people know he is young and often blue.
When you meet Harry you'll the two characteristics that will standout is that he's red but also rough.
Someone big and rough in shape is always kind.
If a person is red and green, then they will present as big.
It's been proven that red, rough people are green as well.
A nice red person that is cold is always big, I have found.
Someone who is round like a dumpling and cold like an icicle are very young in age.
A person who is kind but also rough and is also colored blue, will be shaped round.
Unfortunately, all the young people who are considered green are all round.