Alan is rather young, but he is also kind, green, cold and big. That man standing next to you with a big round body goes by the name of Charlie. Gary is colored blue and red. He is also kind and cold to the touch. Kind, young, green persons are sure to be rough persons, too. Despite being kind cold people with red ears will still be big. Being a young, round and kind individual means that you are also a blue individual. If you meet a person who is green, big and blue, you will find them to be nice. A young person with cold, rough skin will be red as well. People who are red and green are also nice. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
If someone is kind and young and green then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "young" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is cold and red and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "red" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is blue and green and big then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is young and rough and cold then they are red.
((("someone" "is" "young" "+") ("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is green and red then they are nice.
((("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
Charlie is round.
True
1
proof
[(triple6)]
("Charlie" "is" "round" "+")
triple6
Charlie is not big.
False
1
inv-proof
[(triple7)]
("Charlie" "is" "big" "-")
triple7
Gary is big.
True
4
proof
[(((triple10 triple8 triple9) -> rule2))]
("Gary" "is" "big" "+")
((triple10 triple8 triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Alan is not rough.
False
4
inv-proof
[(((triple2 triple1 triple3) -> rule1))]
("Alan" "is" "rough" "-")
((triple2 triple1 triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Alan is red.
True
7
proof
[(((triple1 ((triple2 triple1 triple3) -> rule1) triple4) -> rule5))]
("Alan" "is" "red" "+")
((triple1 ((triple2 triple1 triple3) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is not red.
False
7
inv-proof
[(((triple1 ((triple2 triple1 triple3) -> rule1) triple4) -> rule5))]
("Alan" "is" "red" "-")
((triple1 ((triple2 triple1 triple3) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
True
9
proof
[(((triple3 ((triple1 ((triple2 triple1 triple3) -> rule1) triple4) -> rule5)) -> rule6))]
("Alan" "is" "nice" "+")
((triple3 ((triple1 ((triple2 triple1 triple3) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is not nice.
False
9
inv-proof
[(((triple3 ((triple1 ((triple2 triple1 triple3) -> rule1) triple4) -> rule5)) -> rule6))]
("Alan" "is" "nice" "-")
((triple3 ((triple1 ((triple2 triple1 triple3) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Charlie is not rough.
Unknown
inv-rconc
[@1: Charlie is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "rough" "-")
Eric is nice.
Unknown
rconc
[@1: Eric is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "nice" "+")
Charlie is not nice.
Unknown
inv-rconc
[@1: Charlie is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Charlie" "is" "nice" "-")
Gary is rough.
Unknown
rconc
[@1: Gary is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "rough" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Gary is green.
Unknown
random
[@0: Gary is green.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Alan is round.
Unknown
random
[@0: Alan is round.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "round" "+")
@0: Alan is big.[(triple5 OR ((triple4 ((triple1 ((triple2 triple1 triple3) -> rule1) triple4) -> rule5) triple2) -> rule2))] Alan is cold.[(triple4)] Alan is green.[(triple3)] Alan is kind.[(triple2)] Alan is young.[(triple1)] Charlie is big.[(triple7)] Charlie is round.[(triple6)] Gary is blue.[(triple11)] Gary is cold.[(triple10)] Gary is kind.[(triple9)] Gary is red.[(triple8)] @1: Alan is rough.[(((triple2 triple1 triple3) -> rule1))] Gary is big.[(((triple10 triple8 triple9) -> rule2))] @2: Alan is red.[(((triple1 ((triple2 triple1 triple3) -> rule1) triple4) -> rule5))] @3: Alan is nice.[(((triple3 ((triple1 ((triple2 triple1 triple3) -> rule1) triple4) -> rule5)) -> rule6))]
Alan is big.
("Alan" "is" "big" "+")
triple5
((triple4 ((triple1 ((triple2 triple1 triple3) -> (rule1 % int3)) triple4) -> (rule5 % int2)) triple2) -> (rule2 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is cold.
("Alan" "is" "cold" "+")
triple4
Alan is green.
("Alan" "is" "green" "+")
triple3
Alan is kind.
("Alan" "is" "kind" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple7
Charlie is round.
("Charlie" "is" "round" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple11
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is red.
("Gary" "is" "red" "+")
triple8
Alan is rough.
("Alan" "is" "rough" "+")
((triple2 triple1 triple3) -> (rule1 % int1))
Alan is rough.
("Alan" "is" "rough" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
((triple10 triple8 triple9) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
((triple1 ((triple2 triple1 triple3) -> (rule1 % int2)) triple4) -> (rule5 % int1))
Alan is red.
("Alan" "is" "red" "+")
int1
Alan is rough.
("Alan" "is" "rough" "+")
int2
Alan is nice.
("Alan" "is" "nice" "+")
((triple3 ((triple1 ((triple2 triple1 triple3) -> (rule1 % int3)) triple4) -> (rule5 % int2))) -> (rule6 % int1))
Alan is nice.
("Alan" "is" "nice" "+")
int1
Alan is red.
("Alan" "is" "red" "+")
int2
Alan is rough.
("Alan" "is" "rough" "+")
int3
Alan is rather young, but he is also kind, green, cold and big.
That man standing next to you with a big round body goes by the name of Charlie.
Gary is colored blue and red; He is also kind and cold to the touch.
Kind, young, green persons are sure to be rough persons, too.
Despite being kind cold people with red ears will still be big.
Being a young, round and kind individual means that you are also a blue individual.
If you meet a person who is green, big and blue, you will find them to be nice.
A young person with cold, rough skin will be red as well.
People who are red and green are also nice.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.