Charlie is a nice and red, but very kind person as soon as you meet him. Fred is big and dresses in blue. Gary is very young to be a nurse but he loves helping others because he is so nice and kind. From a certain angle Harry is blue but he is young so maybe that will go away. A person that is both green and red tends to be cold as well. Round, nice and young folks around here are always green. I have found that young, blue, and big individuals are also red. Don't be surprised to hear that all nice, kind folks are in fact rough. If someone is a bit rough, but also nice, then they qualify as round. Someone that is red and blue because they are cold are also round.
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Fred is big.
("Fred" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is green and red then they are cold.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and nice and young then they are green.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("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 nice and kind then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is nice and rough then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and red and cold then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
Harry is blue.
True
1
proof
[(triple10)]
("Harry" "is" "blue" "+")
triple10
Harry is not young.
False
1
inv-proof
[(triple9)]
("Harry" "is" "young" "-")
triple9
Gary is rough.
True
3
proof
[(((triple7 triple8) -> rule4))]
("Gary" "is" "rough" "+")
((triple7 triple8) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule4))]
("Charlie" "is" "rough" "-")
((triple2 triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
True
5
proof
[(((triple2 ((triple2 triple3) -> rule4)) -> rule5))]
("Charlie" "is" "round" "+")
((triple2 ((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is not round.
False
5
inv-proof
[(((triple7 ((triple7 triple8) -> rule4)) -> rule5))]
("Gary" "is" "round" "-")
((triple7 ((triple7 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
True
8
proof
[(((((triple7 ((triple7 triple8) -> rule4)) -> rule5) triple7 triple6) -> rule2))]
("Gary" "is" "green" "+")
((((triple7 ((triple7 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not green.
False
8
inv-proof
[(((((triple7 ((triple7 triple8) -> rule4)) -> rule5) triple7 triple6) -> rule2))]
("Gary" "is" "green" "-")
((((triple7 ((triple7 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@2: Harry is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Harry" "is" "round" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "green" "+")
Fred is not red.
Unknown
inv-rconc
[@1: Fred is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "red" "-")
Fred is round.
Unknown
rconc
[@2: Fred is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Fred" "is" "round" "+")
Fred is not kind.
Unknown
inv-random
[@0: Fred is kind.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "kind" "-")
Fred is nice.
Unknown
random
[@0: Fred is nice.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "nice" "+")
Charlie is not big.
Unknown
inv-random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "-")
Harry is kind.
Unknown
random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "+")
@0: Charlie is kind.[(triple3)] Charlie is nice.[(triple2)] Charlie is red.[(triple1)] Fred is big.[(triple5)] Fred is blue.[(triple4)] Gary is kind.[(triple8)] Gary is nice.[(triple7)] Gary is young.[(triple6)] Harry is blue.[(triple10)] Harry is young.[(triple9)] @1: Charlie is rough.[(((triple2 triple3) -> rule4))] Gary is rough.[(((triple7 triple8) -> rule4))] @2: Charlie is round.[(((triple2 ((triple2 triple3) -> rule4)) -> rule5))] Gary is round.[(((triple7 ((triple7 triple8) -> rule4)) -> rule5))] @3: Gary is green.[(((((triple7 ((triple7 triple8) -> rule4)) -> rule5) triple7 triple6) -> rule2))]
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is nice.
("Charlie" "is" "nice" "+")
triple2
Charlie is red.
("Charlie" "is" "red" "+")
triple1
Fred is big.
("Fred" "is" "big" "+")
triple5
Fred is blue.
("Fred" "is" "blue" "+")
triple4
Gary is kind.
("Gary" "is" "kind" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple7
Gary is young.
("Gary" "is" "young" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple10
Harry is young.
("Harry" "is" "young" "+")
triple9
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple2 triple3) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
((triple7 triple8) -> (rule4 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple2 ((triple2 triple3) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Gary is round.
("Gary" "is" "round" "+")
((triple7 ((triple7 triple8) -> (rule4 % int2))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple7 ((triple7 triple8) -> (rule4 % int3))) -> (rule5 % int2)) triple7 triple6) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Charlie is a nice and red, but very kind person as soon as you meet him.
Fred is big and dresses in blue.
Gary is very young to be a nurse but he loves helping others because he is so nice and kind.
From a certain angle Harry is blue but he is young so maybe that will go away.
A person that is both green and red tends to be cold as well.
Round, nice and young folks around here are always green.
I have found that young, blue, and big individuals are also red.
Don't be surprised to hear that all nice, kind folks are in fact rough.
If someone is a bit rough, but also nice, then they qualify as round.
Someone that is red and blue because they are cold are also round.