Red Bob is what folks call him, because he is quite red. When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough. For someone so young, big and red, Fred is surprisingly nice, although sometimes cold. Even though Harry feels blue because of how round he is, he is still nice and kind to people that talk to him. Green people with red round cheeks are young. Despite being too big with bright green skin and freezing cold, these people have always been kind. I've noticed that someone who is big and acts cold towards others is green as well. Someone who is young and nice is often round. People blue with cold are definitely green and new in these parts. A kind, young human will also be a blue human.
Bob is red.
("Bob" "is" "red" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is big.
("Fred" "is" "big" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is red and green and round then they are young.
((("someone" "is" "red" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is big and green and cold then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and big then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice then they are round.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and young then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Harry is kind.
True
1
proof
[(triple11)]
("Harry" "is" "kind" "+")
triple11
Fred is not young.
False
1
inv-proof
[(triple4)]
("Fred" "is" "young" "-")
triple4
Fred is green.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Fred" "is" "green" "+")
((triple7 triple8) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is not green.
False
3
inv-proof
[(((triple7 triple8) -> rule3))]
("Fred" "is" "green" "-")
((triple7 triple8) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is kind.
True
6
proof
[(((triple8 ((triple7 triple8) -> rule3) triple7) -> rule2))]
("Fred" "is" "kind" "+")
((triple8 ((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is not kind.
False
6
inv-proof
[(((triple8 ((triple7 triple8) -> rule3) triple7) -> rule2))]
("Fred" "is" "kind" "-")
((triple8 ((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
True
8
proof
[(((((triple8 ((triple7 triple8) -> rule3) triple7) -> rule2) triple4) -> rule6))]
("Fred" "is" "blue" "+")
((((triple8 ((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Fred is not blue.
False
8
inv-proof
[(((((triple8 ((triple7 triple8) -> rule3) triple7) -> rule2) triple4) -> rule6))]
("Fred" "is" "blue" "-")
((((triple8 ((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "round" "-")
Harry is young.
Unknown
rconc
[@1: Harry is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "young" "+")
Charlie is not blue.
Unknown
inv-rconc
[@2: Charlie is blue.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Charlie" "is" "blue" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "green" "+")
Fred is not rough.
Unknown
inv-random
[@0: Fred is rough.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "rough" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
Bob is not rough.
Unknown
inv-random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Bob is red.[(triple1)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Fred is big.[(triple8)] Fred is cold.[(triple7)] Fred is nice.[(triple6)] Fred is red.[(triple5)] Fred is young.[(triple4)] Harry is blue.[(triple12)] Harry is kind.[(triple11)] Harry is nice.[(triple10)] Harry is round.[(triple9)] @1: Fred is green.[(((triple7 triple8) -> rule3))] Fred is round.[(((triple4 triple6) -> rule4))] @2: Fred is kind.[(((triple8 ((triple7 triple8) -> rule3) triple7) -> rule2))] @3: Fred is blue.[(((((triple8 ((triple7 triple8) -> rule3) triple7) -> rule2) triple4) -> rule6))]
Bob is red.
("Bob" "is" "red" "+")
triple1
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Fred is big.
("Fred" "is" "big" "+")
triple8
Fred is cold.
("Fred" "is" "cold" "+")
triple7
Fred is nice.
("Fred" "is" "nice" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is young.
("Fred" "is" "young" "+")
triple4
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is round.
("Harry" "is" "round" "+")
triple9
Fred is green.
("Fred" "is" "green" "+")
((triple7 triple8) -> (rule3 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
((triple4 triple6) -> (rule4 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
((triple8 ((triple7 triple8) -> (rule3 % int2)) triple7) -> (rule2 % int1))
Fred is kind.
("Fred" "is" "kind" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((((triple8 ((triple7 triple8) -> (rule3 % int3)) triple7) -> (rule2 % int2)) triple4) -> (rule6 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is kind.
("Fred" "is" "kind" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
int3
Red Bob is what folks call him, because he is quite red.
When you meet Charlie you'll the two characteristics that will standout is that he's red but also rough.
For someone so young, big and red, Fred is surprisingly nice, although sometimes cold.
Even though Harry feels blue because of how round he is, he is still nice and kind to people that talk to him.
Green people with red round cheeks are young.
Despite being too big with bright green skin and freezing cold, these people have always been kind.
I've noticed that someone who is big and acts cold towards others is green as well.
Someone who is young and nice is often round.
People blue with cold are definitely green and new in these parts.
A kind, young human will also be a blue human.