Alan is blue from ink he spilled on himself while being kind and helping some children paint. Though he is young, Fred is still nice despite being quite blue. Gary is known to be rough and green. Harry is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments. It's a fact that young people are red people. A young someone is red in thought but green in ideas. Rough, round persons are also nice persons. People who are big and kind and feel down and blue tend to have rough skin. A green person is going to be rough. A green and red colored person who has a nice temperament will be cold. Anyone who is known to be kind, nice, and round is generally also known to be a green color.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Fred is young.
("Fred" "is" "young" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is cold.
("Harry" "is" "cold" "+")
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is rough and round then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and big and blue then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is green then they are rough.
((("someone" "is" "green" "+")) -> ("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 kind and nice and round then they are green.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "green" "+"))
Fred is young.
True
1
proof
[(triple3)]
("Fred" "is" "young" "+")
triple3
Alan is not kind.
False
1
inv-proof
[(triple1)]
("Alan" "is" "kind" "-")
triple1
Fred is red.
True
2
proof
[(((triple3) -> rule1))]
("Fred" "is" "red" "+")
((triple3) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is not red.
False
2
inv-proof
[(((triple3) -> rule1))]
("Fred" "is" "red" "-")
((triple3) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
True
4
proof
[(((((triple3) -> rule1) triple3) -> rule2))]
("Fred" "is" "green" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is not green.
False
4
inv-proof
[(((((triple3) -> rule1) triple3) -> rule2))]
("Fred" "is" "green" "-")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
True
8
proof
[(((((((triple3) -> rule1) triple3) -> rule2) triple4 ((triple3) -> rule1)) -> rule6))]
("Fred" "is" "cold" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2)) triple4 ((triple3) -> (rule1 % int3))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is not rough.
False
5
inv-proof
[(((((((triple3) -> rule1) triple3) -> rule2)) -> rule5))]
("Fred" "is" "rough" "-")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Alan is not red.
Unknown
inv-rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "red" "-")
Alan is cold.
Unknown
rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule6 <- rule2 <- FAIL)]]
("Alan" "is" "cold" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is red.
Unknown
rconc
[@1: Harry is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Harry" "is" "red" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
Fred is not big.
Unknown
inv-random
[@0: Fred is big.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "big" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is blue.[(triple2)] Alan is kind.[(triple1)] Fred is blue.[(triple5)] Fred is nice.[(triple4)] Fred is young.[(triple3)] Gary is green.[(triple7)] Gary is rough.[(triple6 OR ((triple7) -> rule5))] Harry is cold.[(triple11)] Harry is green.[(triple10)] Harry is nice.[(triple9)] Harry is rough.[(triple8 OR ((triple10) -> rule5))] @1: Fred is red.[(((triple3) -> rule1))] @2: Fred is green.[(((((triple3) -> rule1) triple3) -> rule2))] @3: Fred is cold.[(((((((triple3) -> rule1) triple3) -> rule2) triple4 ((triple3) -> rule1)) -> rule6))] Fred is rough.[(((((((triple3) -> rule1) triple3) -> rule2)) -> rule5))]
Alan is blue.
("Alan" "is" "blue" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple5
Fred is nice.
("Fred" "is" "nice" "+")
triple4
Fred is young.
("Fred" "is" "young" "+")
triple3
Gary is green.
("Gary" "is" "green" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
((triple7) -> (rule5 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
((triple10) -> (rule5 % int1))
Harry is rough.
("Harry" "is" "rough" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((triple3) -> (rule1 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
((((triple3) -> (rule1 % int2)) triple3) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is cold.
("Fred" "is" "cold" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2)) triple4 ((triple3) -> (rule1 % int3))) -> (rule6 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Fred is rough.
("Fred" "is" "rough" "+")
((((((triple3) -> (rule1 % int3)) triple3) -> (rule2 % int2))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is green.
("Fred" "is" "green" "+")
int2
Fred is red.
("Fred" "is" "red" "+")
int3
Alan is blue from ink he spilled on himself while being kind and helping some children paint.
Though he is young, Fred is still nice despite being quite blue.
Gary is known to be rough and green.
Harry is cold and rough with strangers, but nice with his family, even when he is green with envy at their accomplishments.
It's a fact that young people are red people.
A young someone is red in thought but green in ideas.
Rough, round persons are also nice persons.
People who are big and kind and feel down and blue tend to have rough skin.
A green person is going to be rough.
A green and red colored person who has a nice temperament will be cold.
Anyone who is known to be kind, nice, and round is generally also known to be a green color.