You could say that Alan is red and kind and it would also be true that he is cold and big. Charlie always goes out of his way to show that he is kind to people. Others enjoy Dave's company because he is so nice and kind. Gary has a round,red,rough looking face with kind eyes. Young people who wear red lipstick are certainly kind. If the description of nice and green applies to somebody, the description of young will, too. When someone is nice and rough they are usually red. Someone big and rough in shape is always kind. A kind and cold person who is green is, surprisingly, also blue. Show me someone who is cold and kind, and I'll show you how green they are. Nice people are cold people.
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is kind.
("Gary" "is" "kind" "+")
If someone is red and young then they are kind.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and nice then they are young.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and rough then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "red" "+"))
If someone is big and rough then they are kind.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind and cold and green then they are blue.
((("someone" "is" "kind" "+") ("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and kind then they are green.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "green" "+"))
If someone is nice then they are cold.
((("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Alan is kind.
True
1
proof
[(triple2)]
("Alan" "is" "kind" "+")
triple2
Dave is not nice.
False
1
inv-proof
[(triple6)]
("Dave" "is" "nice" "-")
triple6
Alan is green.
True
3
proof
[(((triple3 triple2) -> rule6))]
("Alan" "is" "green" "+")
((triple3 triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is not green.
False
3
inv-proof
[(((triple3 triple2) -> rule6))]
("Alan" "is" "green" "-")
((triple3 triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is blue.
True
6
proof
[(((triple2 triple3 ((triple3 triple2) -> rule6)) -> rule5))]
("Alan" "is" "blue" "+")
((triple2 triple3 ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is not blue.
False
6
inv-proof
[(((triple2 triple3 ((triple3 triple2) -> rule6)) -> rule5))]
("Alan" "is" "blue" "-")
((triple2 triple3 ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Dave is young.
True
6
proof
[(((((((triple6) -> rule7) triple7) -> rule6) triple6) -> rule2))]
("Dave" "is" "young" "+")
((((((triple6) -> (rule7 % int3)) triple7) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not young.
False
6
inv-proof
[(((((((triple6) -> rule7) triple7) -> rule6) triple6) -> rule2))]
("Dave" "is" "young" "-")
((((((triple6) -> (rule7 % int3)) triple7) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Gary is not cold.
Unknown
inv-rconc
[@1: Gary is cold.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Gary" "is" "cold" "-")
Charlie is red.
Unknown
rconc
[@1: Charlie is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "red" "+")
Gary is not blue.
Unknown
inv-rconc
[@2: Gary is blue.[CWA. Example of deepest failure = (rule5 <- rule7 <- FAIL)]]
("Gary" "is" "blue" "-")
Dave is red.
Unknown
rconc
[@1: Dave is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Dave" "is" "red" "+")
Alan is not rough.
Unknown
inv-random
[@0: Alan is rough.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "rough" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Dave is not big.
Unknown
inv-random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "-")
Charlie is rough.
Unknown
random
[@0: Charlie is rough.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "rough" "+")
@0: Alan is big.[(triple4)] Alan is cold.[(triple3)] Alan is kind.[(triple2)] Alan is red.[(triple1)] Charlie is kind.[(triple5)] Dave is kind.[(triple7)] Dave is nice.[(triple6)] Gary is kind.[(triple11)] Gary is red.[(triple10)] Gary is rough.[(triple9)] Gary is round.[(triple8)] @1: Alan is green.[(((triple3 triple2) -> rule6))] Dave is cold.[(((triple6) -> rule7))] @2: Alan is blue.[(((triple2 triple3 ((triple3 triple2) -> rule6)) -> rule5))] Dave is green.[(((((triple6) -> rule7) triple7) -> rule6))] @3: Dave is blue.[(((triple7 ((triple6) -> rule7) ((((triple6) -> rule7) triple7) -> rule6)) -> rule5))] Dave is young.[(((((((triple6) -> rule7) triple7) -> rule6) triple6) -> rule2))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is cold.
("Alan" "is" "cold" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is red.
("Alan" "is" "red" "+")
triple1
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Dave is kind.
("Dave" "is" "kind" "+")
triple7
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Gary is kind.
("Gary" "is" "kind" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple10
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple8
Alan is green.
("Alan" "is" "green" "+")
((triple3 triple2) -> (rule6 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple6) -> (rule7 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Alan is blue.
("Alan" "is" "blue" "+")
((triple2 triple3 ((triple3 triple2) -> (rule6 % int2))) -> (rule5 % int1))
Alan is blue.
("Alan" "is" "blue" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((((triple6) -> (rule7 % int2)) triple7) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((triple7 ((triple6) -> (rule7 % int3)) ((((triple6) -> (rule7 % int3)) triple7) -> (rule6 % int2))) -> (rule5 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is young.
("Dave" "is" "young" "+")
((((((triple6) -> (rule7 % int3)) triple7) -> (rule6 % int2)) triple6) -> (rule2 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
You could say that Alan is red and kind and it would also be true that he is cold and big.
Charlie always goes out of his way to show that he is kind to people.
Others enjoy Dave's company because he is so nice and kind.
Gary has a round,red,rough looking face with kind eyes.
Young people who wear red lipstick are certainly kind.
If the description of nice and green applies to somebody, the description of young will, too.
When someone is nice and rough they are usually red.
Someone big and rough in shape is always kind.
A kind and cold person who is green is, surprisingly, also blue.
Show me someone who is cold and kind, and I'll show you how green they are.
Nice people are cold people.