Red Alan is what folks call him, because he is quite red. Bob looks red to most people, with blue features. Charlie is a nice person who is red because he has a rash. Gary is young and green. He is big and is rough around the edges with tough red skin. A red colored and round person who is also young will be rather kind. A nice green person that tends to be rough will indeed be round too. A red colored person will be rough textured and will be blue. Kind people,though green,tend to be nice. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. Unfortunately, all the young people who are considered green are all round.
Alan is red.
("Alan" "is" "red" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red and round and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "round" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice and rough then they are round.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is red and rough then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is kind and green then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is green and young then they are round.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "round" "+"))
Gary is big.
True
1
proof
[(triple10)]
("Gary" "is" "big" "+")
triple10
Charlie is not red.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "red" "-")
triple4
Gary is round.
True
3
proof
[(((triple9 triple6) -> rule6))]
("Gary" "is" "round" "+")
((triple9 triple6) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple8 triple7) -> rule3))]
("Gary" "is" "blue" "-")
((triple8 triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is kind.
True
6
proof
[(((triple8 ((triple9 triple6) -> rule6) triple6) -> rule1))]
("Gary" "is" "kind" "+")
((triple8 ((triple9 triple6) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is not kind.
False
6
inv-proof
[(((triple8 ((triple9 triple6) -> rule6) triple6) -> rule1))]
("Gary" "is" "kind" "-")
((triple8 ((triple9 triple6) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
True
8
proof
[(((((triple8 ((triple9 triple6) -> rule6) triple6) -> rule1) triple9) -> rule4))]
("Gary" "is" "nice" "+")
((((triple8 ((triple9 triple6) -> (rule6 % int3)) triple6) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Gary is not nice.
False
8
inv-proof
[(((((triple8 ((triple9 triple6) -> rule6) triple6) -> rule1) triple9) -> rule4))]
("Gary" "is" "nice" "-")
((((triple8 ((triple9 triple6) -> (rule6 % int3)) triple6) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Charlie is not kind.
Unknown
inv-rconc
[@1: Charlie is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "kind" "-")
Bob is round.
Unknown
rconc
[@1: Bob is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "round" "+")
Alan is not nice.
Unknown
inv-rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "-")
Charlie is round.
Unknown
rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "+")
Alan is not cold.
Unknown
inv-random
[@0: Alan is cold.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "cold" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Charlie is cold.
Unknown
random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "+")
@0: Alan is red.[(triple1)] Bob is blue.[(triple3)] Bob is red.[(triple2)] Charlie is nice.[(triple5)] Charlie is red.[(triple4)] Gary is big.[(triple10)] Gary is green.[(triple9)] Gary is red.[(triple8)] Gary is rough.[(triple7)] Gary is young.[(triple6)] @1: Gary is blue.[(((triple8 triple7) -> rule3))] Gary is round.[(((triple9 triple6) -> rule6))] @2: Gary is kind.[(((triple8 ((triple9 triple6) -> rule6) triple6) -> rule1))] @3: Gary is nice.[(((((triple8 ((triple9 triple6) -> rule6) triple6) -> rule1) triple9) -> rule4))]
Alan is red.
("Alan" "is" "red" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Charlie is nice.
("Charlie" "is" "nice" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
((triple8 triple7) -> (rule3 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple9 triple6) -> (rule6 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple8 ((triple9 triple6) -> (rule6 % int2)) triple6) -> (rule1 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple8 ((triple9 triple6) -> (rule6 % int3)) triple6) -> (rule1 % int2)) triple9) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
int3
Red Alan is what folks call him, because he is quite red.
Bob looks red to most people, with blue features.
Charlie is a nice person who is red because he has a rash.
Gary is young and green; He is big and is rough around the edges with tough red skin.
A red colored and round person who is also young will be rather kind.
A nice green person that tends to be rough will indeed be round too.
A red colored person will be rough textured and will be blue.
Kind people,though green,tend to be nice.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Unfortunately, all the young people who are considered green are all round.