Alan is a red person who is round and also feels blue. Dave is green, which is a possible explanation for why he is so nice. Gary has rough skin so it is red. He is big but so very kind. Big Harry is nice but also rough. A young someone is red in thought but green in ideas. I have found that young, blue, and big individuals are also red. If red and slightly green people are asked, they will tell you they feel blue. A kind person who is big in size is definitely young. If you meet a kind green person with a round shape they will also be young. Looking blue can be a sign that someone is cold. A person that is rough and round shaped features are going to be red.
Alan is round.
("Alan" "is" "round" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is green.
("Dave" "is" "green" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is red and young then they are green.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("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 kind and big then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue then they are cold.
((("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and rough then they are red.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
Alan is red.
True
1
proof
[(triple2)]
("Alan" "is" "red" "+")
triple2
Alan is not blue.
False
1
inv-proof
[(triple3)]
("Alan" "is" "blue" "-")
triple3
Gary is young.
True
3
proof
[(((triple8 triple9) -> rule4))]
("Gary" "is" "young" "+")
((triple8 triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is not young.
False
3
inv-proof
[(((triple8 triple9) -> rule4))]
("Gary" "is" "young" "-")
((triple8 triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
True
5
proof
[(((triple7 ((triple8 triple9) -> rule4)) -> rule1))]
("Gary" "is" "green" "+")
((triple7 ((triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is not green.
False
5
inv-proof
[(((triple7 ((triple8 triple9) -> rule4)) -> rule1))]
("Gary" "is" "green" "-")
((triple7 ((triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
True
7
proof
[(((((triple7 ((triple8 triple9) -> rule4)) -> rule1) triple7) -> rule3))]
("Gary" "is" "blue" "+")
((((triple7 ((triple8 triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is not blue.
False
7
inv-proof
[(((((triple7 ((triple8 triple9) -> rule4)) -> rule1) triple7) -> rule3))]
("Gary" "is" "blue" "-")
((((triple7 ((triple8 triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
True
8
proof
[(((((((triple7 ((triple8 triple9) -> rule4)) -> rule1) triple7) -> rule3)) -> rule6))]
("Gary" "is" "cold" "+")
((((((triple7 ((triple8 triple9) -> (rule4 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Gary is not cold.
False
8
inv-proof
[(((((((triple7 ((triple8 triple9) -> rule4)) -> rule1) triple7) -> rule3)) -> rule6))]
("Gary" "is" "cold" "-")
((((((triple7 ((triple8 triple9) -> (rule4 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Alan is not young.
Unknown
inv-rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "young" "-")
Dave is cold.
Unknown
rconc
[@3: Dave is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule2 <- FAIL)]]
("Dave" "is" "cold" "+")
Dave is not red.
Unknown
inv-rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "red" "-")
Harry is cold.
Unknown
rconc
[@3: Harry is cold.[CWA. Example of deepest failure = (rule6 <- rule3 <- rule2 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not red.
Unknown
inv-rconc
[@2: Harry is red.[CWA. Example of deepest failure = (rule2 <- rule4 <- FAIL)]]
("Harry" "is" "red" "-")
Dave is rough.
Unknown
random
[@0: Dave is rough.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "rough" "+")
Dave is not kind.
Unknown
inv-random
[@0: Dave is kind.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "kind" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Alan is blue.[(triple3)] Alan is red.[(triple2)] Alan is round.[(triple1)] Dave is green.[(triple5)] Dave is nice.[(triple4)] Gary is big.[(triple9)] Gary is kind.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Harry is big.[(triple12)] Harry is nice.[(triple11)] Harry is rough.[(triple10)] @1: Alan is cold.[(((triple3) -> rule6))] Gary is young.[(((triple8 triple9) -> rule4))] @2: Gary is green.[(((triple7 ((triple8 triple9) -> rule4)) -> rule1))] @3: Gary is blue.[(((((triple7 ((triple8 triple9) -> rule4)) -> rule1) triple7) -> rule3))] @4: Gary is cold.[(((((((triple7 ((triple8 triple9) -> rule4)) -> rule1) triple7) -> rule3)) -> rule6))]
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple5
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Alan is cold.
("Alan" "is" "cold" "+")
((triple3) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
((triple8 triple9) -> (rule4 % int1))
Gary is young.
("Gary" "is" "young" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple7 ((triple8 triple9) -> (rule4 % int2))) -> (rule1 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
((((triple7 ((triple8 triple9) -> (rule4 % int3))) -> (rule1 % int2)) triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is young.
("Gary" "is" "young" "+")
int3
Gary is cold.
("Gary" "is" "cold" "+")
((((((triple7 ((triple8 triple9) -> (rule4 % int4))) -> (rule1 % int3)) triple7) -> (rule3 % int2))) -> (rule6 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is young.
("Gary" "is" "young" "+")
int4
Alan is a red person who is round and also feels blue.
Dave is green, which is a possible explanation for why he is so nice.
Gary has rough skin so it is red; He is big but so very kind.
Big Harry is nice but also rough.
A young someone is red in thought but green in ideas.
I have found that young, blue, and big individuals are also red.
If red and slightly green people are asked, they will tell you they feel blue.
A kind person who is big in size is definitely young.
If you meet a kind green person with a round shape they will also be young.
Looking blue can be a sign that someone is cold.
A person that is rough and round shaped features are going to be red.