Bob is blue from ink he spilled on himself while being kind and helping some children paint. Eric gets red when he is mad and tends to act very cold. Fred is a big young boy with a bit of a rough streak. Most of the times he is nice, especially when his skin is green and blue. Most young, green people are kind and because of this they are round. If you meet a young, round person who is nice on the street, offer them your coat because they are cold. When someone feels cold, while being big and rough, they always turn out to be red. Round green people usually feel blue. You will always find a cold, rough, red person to also be a round person. Unfortunately, all the young people who are considered green are all round.
Bob is kind.
("Bob" "is" "kind" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Eric is red.
("Eric" "is" "red" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
If someone is green and young and kind then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is round and nice and young then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and big and rough then they are red.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is round and green then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and rough and red then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Fred is green.
True
1
proof
[(triple8)]
("Fred" "is" "green" "+")
triple8
Bob is not blue.
False
1
inv-proof
[(triple2)]
("Bob" "is" "blue" "-")
triple2
Fred is round.
True
3
proof
[(((triple8 triple5) -> rule6))]
("Fred" "is" "round" "+")
((triple8 triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is not round.
False
3
inv-proof
[(((triple8 triple5) -> rule6))]
("Fred" "is" "round" "-")
((triple8 triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
True
6
proof
[(((((triple8 triple5) -> rule6) triple7 triple5) -> rule2))]
("Fred" "is" "cold" "+")
((((triple8 triple5) -> (rule6 % int2)) triple7 triple5) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((((triple8 triple5) -> rule6) triple7 triple5) -> rule2))]
("Fred" "is" "cold" "-")
((((triple8 triple5) -> (rule6 % int2)) triple7 triple5) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
True
9
proof
[(((((((triple8 triple5) -> rule6) triple7 triple5) -> rule2) triple10 triple6) -> rule3))]
("Fred" "is" "red" "+")
((((((triple8 triple5) -> (rule6 % int3)) triple7 triple5) -> (rule2 % int2)) triple10 triple6) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Fred is not red.
False
9
inv-proof
[(((((((triple8 triple5) -> rule6) triple7 triple5) -> rule2) triple10 triple6) -> rule3))]
("Fred" "is" "red" "-")
((((((triple8 triple5) -> (rule6 % int3)) triple7 triple5) -> (rule2 % int2)) triple10 triple6) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Bob is not round.
Unknown
inv-rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "round" "-")
Harry is blue.
Unknown
rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "blue" "+")
Eric is not blue.
Unknown
inv-rconc
[@1: Eric is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "blue" "-")
Harry is round.
Unknown
rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "round" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Bob is nice.
Unknown
random
[@0: Bob is nice.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "nice" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Eric is young.
Unknown
random
[@0: Eric is young.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "young" "+")
@0: Bob is blue.[(triple2)] Bob is kind.[(triple1)] Eric is cold.[(triple4)] Eric is red.[(triple3)] Fred is big.[(triple10)] Fred is blue.[(triple9 OR ((((triple8 triple5) -> rule6) triple8) -> rule4))] Fred is green.[(triple8)] Fred is nice.[(triple7)] Fred is rough.[(triple6)] Fred is young.[(triple5)] @1: Fred is round.[(((triple8 triple5) -> rule6))] @2: Fred is cold.[(((((triple8 triple5) -> rule6) triple7 triple5) -> rule2))] @3: Fred is red.[(((((((triple8 triple5) -> rule6) triple7 triple5) -> rule2) triple10 triple6) -> rule3))]
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is kind.
("Bob" "is" "kind" "+")
triple1
Eric is cold.
("Eric" "is" "cold" "+")
triple4
Eric is red.
("Eric" "is" "red" "+")
triple3
Fred is big.
("Fred" "is" "big" "+")
triple10
Fred is blue.
("Fred" "is" "blue" "+")
triple9
((((triple8 triple5) -> (rule6 % int2)) triple8) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
triple8
Fred is nice.
("Fred" "is" "nice" "+")
triple7
Fred is rough.
("Fred" "is" "rough" "+")
triple6
Fred is young.
("Fred" "is" "young" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
((triple8 triple5) -> (rule6 % int1))
Fred is round.
("Fred" "is" "round" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple8 triple5) -> (rule6 % int2)) triple7 triple5) -> (rule2 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is round.
("Fred" "is" "round" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
((((((triple8 triple5) -> (rule6 % int3)) triple7 triple5) -> (rule2 % int2)) triple10 triple6) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is round.
("Fred" "is" "round" "+")
int3
Bob is blue from ink he spilled on himself while being kind and helping some children paint.
Eric gets red when he is mad and tends to act very cold.
Fred is a big young boy with a bit of a rough streak; Most of the times he is nice, especially when his skin is green and blue.
Most young, green people are kind and because of this they are round.
If you meet a young, round person who is nice on the street, offer them your coat because they are cold.
When someone feels cold, while being big and rough, they always turn out to be red.
Round green people usually feel blue.
You will always find a cold, rough, red person to also be a round person.
Unfortunately, all the young people who are considered green are all round.