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.
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.