That man standing next to you with a big round body goes by the name of Alan. Charlie is round shaped and green colored. Gary is a nice person, but he is both blue and red. They always call him rough Harry. Nice blue people are often rough. People who are nice but a rough around the edges and turn red in the fun feel sad and blue. When anyone can be described as nice, young and big, they can also be described as red. Maybe someone is rough and blue with the cold. Get a rather green person who is both nice, but cold to others, then they are certain to be round. I believe that red, cold, rough people are likely to be green.
Alan is round.
("Alan" "is" "round" "+")
Alan is big.
("Alan" "is" "big" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is nice and blue then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and nice and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is nice and big and young then they are red.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "red" "+"))
If someone is rough and blue then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and green and cold then they are round.
((("someone" "is" "nice" "+") ("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Alan is round.
True
1
proof
[(triple1)]
("Alan" "is" "round" "+")
triple1
Charlie is not round.
False
1
inv-proof
[(triple3)]
("Charlie" "is" "round" "-")
triple3
Gary is rough.
True
3
proof
[(((triple6 triple7) -> rule1))]
("Gary" "is" "rough" "+")
((triple6 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is not rough.
False
3
inv-proof
[(((triple6 triple7) -> rule1))]
("Gary" "is" "rough" "-")
((triple6 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
True
5
proof
[(((((triple6 triple7) -> rule1) triple7) -> rule4))]
("Gary" "is" "cold" "+")
((((triple6 triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is not cold.
False
5
inv-proof
[(((((triple6 triple7) -> rule1) triple7) -> rule4))]
("Gary" "is" "cold" "-")
((((triple6 triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
True
10
proof
[(((((triple6 triple7) -> rule1) triple5 ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule6))]
("Gary" "is" "green" "+")
((((triple6 triple7) -> (rule1 % int3)) triple5 ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is not green.
False
10
inv-proof
[(((((triple6 triple7) -> rule1) triple5 ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule6))]
("Gary" "is" "green" "-")
((((triple6 triple7) -> (rule1 % int3)) triple5 ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
True
17
proof
[(((triple6 ((((triple6 triple7) -> rule1) triple5 ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule6) ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule5))]
("Gary" "is" "round" "+")
((triple6 ((((triple6 triple7) -> (rule1 % int4)) triple5 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Gary is not round.
False
17
inv-proof
[(((triple6 ((((triple6 triple7) -> rule1) triple5 ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule6) ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule5))]
("Gary" "is" "round" "-")
((triple6 ((((triple6 triple7) -> (rule1 % int4)) triple5 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
Harry is not blue.
Unknown
inv-rconc
[@1: Harry is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "blue" "-")
Alan is red.
Unknown
rconc
[@1: Alan is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Alan" "is" "red" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "-")
Alan is blue.
Unknown
rconc
[@1: Alan is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "blue" "+")
Charlie is not cold.
Unknown
inv-rconc
[@2: Charlie is cold.[CWA. Example of deepest failure = (rule4 <- rule1 <- FAIL)]]
("Charlie" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Alan is big.[(triple2)] Alan is round.[(triple1)] Charlie is green.[(triple4)] Charlie is round.[(triple3)] Gary is blue.[(triple7)] Gary is nice.[(triple6)] Gary is red.[(triple5)] Harry is rough.[(triple8)] @1: Gary is rough.[(((triple6 triple7) -> rule1))] @2: Gary is cold.[(((((triple6 triple7) -> rule1) triple7) -> rule4))] @3: Gary is green.[(((((triple6 triple7) -> rule1) triple5 ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule6))] @4: Gary is round.[(((triple6 ((((triple6 triple7) -> rule1) triple5 ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule6) ((((triple6 triple7) -> rule1) triple7) -> rule4)) -> rule5))]
Alan is big.
("Alan" "is" "big" "+")
triple2
Alan is round.
("Alan" "is" "round" "+")
triple1
Charlie is green.
("Charlie" "is" "green" "+")
triple4
Charlie is round.
("Charlie" "is" "round" "+")
triple3
Gary is blue.
("Gary" "is" "blue" "+")
triple7
Gary is nice.
("Gary" "is" "nice" "+")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple5
Harry is rough.
("Harry" "is" "rough" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
((triple6 triple7) -> (rule1 % int1))
Gary is rough.
("Gary" "is" "rough" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((((triple6 triple7) -> (rule1 % int2)) triple7) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is rough.
("Gary" "is" "rough" "+")
int2
Gary is green.
("Gary" "is" "green" "+")
((((triple6 triple7) -> (rule1 % int3)) triple5 ((((triple6 triple7) -> (rule1 % int3)) triple7) -> (rule4 % int2))) -> (rule6 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
int2
Gary is rough.
("Gary" "is" "rough" "+")
int3
Gary is round.
("Gary" "is" "round" "+")
((triple6 ((((triple6 triple7) -> (rule1 % int4)) triple5 ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule6 % int2)) ((((triple6 triple7) -> (rule1 % int4)) triple7) -> (rule4 % int3))) -> (rule5 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
int2
Gary is cold.
("Gary" "is" "cold" "+")
int3
Gary is rough.
("Gary" "is" "rough" "+")
int4
That man standing next to you with a big round body goes by the name of Alan.
Charlie is round shaped and green colored.
Gary is a nice person, but he is both blue and red.
They always call him rough Harry.
Nice blue people are often rough.
People who are nice but a rough around the edges and turn red in the fun feel sad and blue.
When anyone can be described as nice, young and big, they can also be described as red.
Maybe someone is rough and blue with the cold.
Get a rather green person who is both nice, but cold to others, then they are certain to be round.
I believe that red, cold, rough people are likely to be green.