That big rough Alan guy is both red and blue at the same time. Fred is green, which is a possible explanation for why he is so nice. Gary is blue and cold. Harry wears all blue. If a red person is cold and kind to others, they also tend to be blue. If the description of nice and green applies to somebody, the description of young will, too. It's a fact that young people are red people. If red and slightly green people are asked, they will tell you they feel blue. A cold person, who is kind in nature and young in years, is round. On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment. If you meet someone who is big and kind with cold skin, they will be young.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Fred is nice.
("Fred" "is" "nice" "+")
Fred is green.
("Fred" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is cold and kind and red then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is young then they are red.
((("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red then they are blue.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind and young then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
If someone is kind and green and round then they are red.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and cold and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Gary is cold.
True
1
proof
[(triple7)]
("Gary" "is" "cold" "+")
triple7
Harry is not blue.
False
1
inv-proof
[(triple9)]
("Harry" "is" "blue" "-")
triple9
Fred is young.
True
3
proof
[(((triple6 triple5) -> rule2))]
("Fred" "is" "young" "+")
((triple6 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is not young.
False
3
inv-proof
[(((triple6 triple5) -> rule2))]
("Fred" "is" "young" "-")
((triple6 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
True
4
proof
[(((((triple6 triple5) -> rule2)) -> rule3))]
("Fred" "is" "red" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is not red.
False
4
inv-proof
[(((((triple6 triple5) -> rule2)) -> rule3))]
("Fred" "is" "red" "-")
((((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
True
6
proof
[(((triple6 ((((triple6 triple5) -> rule2)) -> rule3)) -> rule4))]
("Fred" "is" "blue" "+")
((triple6 ((((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Fred is not blue.
False
6
inv-proof
[(((triple6 ((((triple6 triple5) -> rule2)) -> rule3)) -> rule4))]
("Fred" "is" "blue" "-")
((triple6 ((((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
Alan is not round.
Unknown
inv-rconc
[@1: Alan is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "round" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "young" "+")
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Harry" "is" "red" "-")
Gary is young.
Unknown
rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Gary" "is" "young" "+")
Alan is not green.
Unknown
inv-random
[@0: Alan is green.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "green" "-")
Gary is rough.
Unknown
random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "+")
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is rough.[(triple1)] Fred is green.[(triple6)] Fred is nice.[(triple5)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] Harry is blue.[(triple9)] @1: Fred is young.[(((triple6 triple5) -> rule2))] @2: Fred is red.[(((((triple6 triple5) -> rule2)) -> rule3))] @3: Fred is blue.[(((triple6 ((((triple6 triple5) -> rule2)) -> rule3)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Fred is green.
("Fred" "is" "green" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple5
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple9
Fred is young.
("Fred" "is" "young" "+")
((triple6 triple5) -> (rule2 % int1))
Fred is young.
("Fred" "is" "young" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
((((triple6 triple5) -> (rule2 % int2))) -> (rule3 % int1))
Fred is red.
("Fred" "is" "red" "+")
int1
Fred is young.
("Fred" "is" "young" "+")
int2
Fred is blue.
("Fred" "is" "blue" "+")
((triple6 ((((triple6 triple5) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule4 % int1))
Fred is blue.
("Fred" "is" "blue" "+")
int1
Fred is red.
("Fred" "is" "red" "+")
int2
Fred is young.
("Fred" "is" "young" "+")
int3
That big rough Alan guy is both red and blue at the same time.
Fred is green, which is a possible explanation for why he is so nice.
Gary is blue and cold.
Harry wears all blue.
If a red person is cold and kind to others, they also tend to be blue.
If the description of nice and green applies to somebody, the description of young will, too.
It's a fact that young people are red people.
If red and slightly green people are asked, they will tell you they feel blue.
A cold person, who is kind in nature and young in years, is round.
On a voyage across the sea it is always the round, kind people, green with seasickness that turn red with embarrassment.
If you meet someone who is big and kind with cold skin, they will be young.