Charlie is a round fellow, but he is kind, even when he is so cold he turns blue. Gary, like all young people, is nice. Harry is blue because he is cold. His skin is red and rough but that doesn't matter because he is also very young. A round person who is nice is young. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A young, nice person will turn out to be a green person also. A person being big and rough makes them cold towards others but that also means that they are kind. If a person is young and very kind then they will be rather big. People who are young and green are also kind.
If someone is nice and round then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and red and round then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and nice then they are green.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
If someone is cold and big and rough then they are kind.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and kind then they are big.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and green then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Charlie is kind.
True
1
proof
[(triple2)]
("Charlie" "is" "kind" "+")
triple2
Charlie is not round.
False
1
inv-proof
[(triple1)]
("Charlie" "is" "round" "-")
triple1
Gary is green.
True
3
proof
[(((triple5 triple6) -> rule3))]
("Gary" "is" "green" "+")
((triple5 triple6) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is not green.
False
3
inv-proof
[(((triple5 triple6) -> rule3))]
("Gary" "is" "green" "-")
((triple5 triple6) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
True
5
proof
[(((triple5 ((triple5 triple6) -> rule3)) -> rule6))]
("Gary" "is" "kind" "+")
((triple5 ((triple5 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is not kind.
False
5
inv-proof
[(((triple5 ((triple5 triple6) -> rule3)) -> rule6))]
("Gary" "is" "kind" "-")
((triple5 ((triple5 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
True
7
proof
[(((triple5 ((triple5 ((triple5 triple6) -> rule3)) -> rule6)) -> rule5))]
("Gary" "is" "big" "+")
((triple5 ((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Gary is not big.
False
7
inv-proof
[(((triple5 ((triple5 ((triple5 triple6) -> rule3)) -> rule6)) -> rule5))]
("Gary" "is" "big" "-")
((triple5 ((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Harry is not nice.
Unknown
inv-rconc
[@1: Harry is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "nice" "-")
Alan is green.
Unknown
rconc
[@2: Alan is green.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Alan" "is" "green" "+")
Harry is not big.
Unknown
inv-rconc
[@4: Harry is big.[CWA. Example of deepest failure = (rule5 <- rule6 <- rule3 <- rule2 <- FAIL)]]
("Harry" "is" "big" "-")
Charlie is young.
Unknown
rconc
[@2: Charlie is young.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("Charlie" "is" "young" "+")
Gary is not red.
Unknown
inv-random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Charlie is blue.[(triple4)] Charlie is cold.[(triple3)] Charlie is kind.[(triple2)] Charlie is round.[(triple1)] Gary is nice.[(triple6)] Gary is young.[(triple5)] Harry is blue.[(triple11)] Harry is cold.[(triple10)] Harry is red.[(triple9)] Harry is rough.[(triple8)] Harry is young.[(triple7)] @1: Gary is green.[(((triple5 triple6) -> rule3))] @2: Gary is kind.[(((triple5 ((triple5 triple6) -> rule3)) -> rule6))] @3: Gary is big.[(((triple5 ((triple5 ((triple5 triple6) -> rule3)) -> rule6)) -> rule5))]
Charlie is blue.
("Charlie" "is" "blue" "+")
triple4
Charlie is cold.
("Charlie" "is" "cold" "+")
triple3
Charlie is kind.
("Charlie" "is" "kind" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Harry is young.
("Harry" "is" "young" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
((triple5 triple6) -> (rule3 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple5 ((triple5 triple6) -> (rule3 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is big.
("Gary" "is" "big" "+")
((triple5 ((triple5 ((triple5 triple6) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is kind.
("Gary" "is" "kind" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
int3
Charlie is a round fellow, but he is kind, even when he is so cold he turns blue.
Gary, like all young people, is nice.
Harry is blue because he is cold; His skin is red and rough but that doesn't matter because he is also very young.
A round person who is nice is young.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
A young, nice person will turn out to be a green person also.
A person being big and rough makes them cold towards others but that also means that they are kind.
If a person is young and very kind then they will be rather big.
People who are young and green are also kind.