Alan is sometimes cold and blue, but he can also be kind and big. Gary is young and green. He is big and is rough around the edges with tough red skin. Harry is a person both green and big. Nice and kind people tend to live green lifestyle and arent very rough. You will find that a big, young, blue person is also quite round. Blue people who are kind and nice are actually quite rough. If you meet someone who is red and blue with a round shape, you can count on them being nice to you. A young, red person will certainly be cold. A person that is known to be big and rough is also green, they will feel blue about it. Big people that tend to be nice and blue, may also be a little rough to others.
Alan is kind.
("Alan" "is" "kind" "+")
Alan is cold.
("Alan" "is" "cold" "+")
Alan is blue.
("Alan" "is" "blue" "+")
Alan is big.
("Alan" "is" "big" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and kind and green then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "rough" "+"))
If someone is young and big and blue then they are round.
((("someone" "is" "young" "+") ("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and kind and nice then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
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 red and young then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough and green then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice and blue then they are rough.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
Harry is green.
True
1
proof
[(triple10)]
("Harry" "is" "green" "+")
triple10
Alan is not blue.
False
1
inv-proof
[(triple3)]
("Alan" "is" "blue" "-")
triple3
Gary is cold.
True
3
proof
[(((triple7 triple5) -> rule5))]
("Gary" "is" "cold" "+")
((triple7 triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is not cold.
False
3
inv-proof
[(((triple7 triple5) -> rule5))]
("Gary" "is" "cold" "-")
((triple7 triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
True
7
proof
[(((triple5 triple9 ((triple9 triple6 triple8) -> rule6)) -> rule2))]
("Gary" "is" "round" "+")
((triple5 triple9 ((triple9 triple6 triple8) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is not round.
False
7
inv-proof
[(((triple5 triple9 ((triple9 triple6 triple8) -> rule6)) -> rule2))]
("Gary" "is" "round" "-")
((triple5 triple9 ((triple9 triple6 triple8) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
True
13
proof
[(((((triple9 triple6 triple8) -> rule6) triple7 ((triple5 triple9 ((triple9 triple6 triple8) -> rule6)) -> rule2)) -> rule4))]
("Gary" "is" "nice" "+")
((((triple9 triple6 triple8) -> (rule6 % int3)) triple7 ((triple5 triple9 ((triple9 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Gary is not nice.
False
13
inv-proof
[(((((triple9 triple6 triple8) -> rule6) triple7 ((triple5 triple9 ((triple9 triple6 triple8) -> rule6)) -> rule2)) -> rule4))]
("Gary" "is" "nice" "-")
((((triple9 triple6 triple8) -> (rule6 % int3)) triple7 ((triple5 triple9 ((triple9 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Charlie is not round.
Unknown
inv-rconc
[@1: Charlie is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "round" "-")
Charlie is cold.
Unknown
rconc
[@1: Charlie is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "cold" "+")
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "round" "-")
Alan is nice.
Unknown
rconc
[@1: Alan is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Alan" "is" "nice" "+")
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Alan is young.
Unknown
random
[@0: Alan is young.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "young" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Harry is young.
Unknown
random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "+")
@0: Alan is big.[(triple4)] Alan is blue.[(triple3)] Alan is cold.[(triple2)] Alan is kind.[(triple1)] Gary is big.[(triple9)] Gary is green.[(triple8)] Gary is red.[(triple7)] Gary is rough.[(triple6)] Gary is young.[(triple5)] Harry is big.[(triple11)] Harry is green.[(triple10)] @1: Gary is blue.[(((triple9 triple6 triple8) -> rule6))] Gary is cold.[(((triple7 triple5) -> rule5))] @2: Gary is round.[(((triple5 triple9 ((triple9 triple6 triple8) -> rule6)) -> rule2))] @3: Gary is nice.[(((((triple9 triple6 triple8) -> rule6) triple7 ((triple5 triple9 ((triple9 triple6 triple8) -> rule6)) -> rule2)) -> rule4))]
Alan is big.
("Alan" "is" "big" "+")
triple4
Alan is blue.
("Alan" "is" "blue" "+")
triple3
Alan is cold.
("Alan" "is" "cold" "+")
triple2
Alan is kind.
("Alan" "is" "kind" "+")
triple1
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is rough.
("Gary" "is" "rough" "+")
triple6
Gary is young.
("Gary" "is" "young" "+")
triple5
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is green.
("Harry" "is" "green" "+")
triple10
Gary is blue.
("Gary" "is" "blue" "+")
((triple9 triple6 triple8) -> (rule6 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple7 triple5) -> (rule5 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple5 triple9 ((triple9 triple6 triple8) -> (rule6 % int2))) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Gary is nice.
("Gary" "is" "nice" "+")
((((triple9 triple6 triple8) -> (rule6 % int3)) triple7 ((triple5 triple9 ((triple9 triple6 triple8) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule4 % int1))
Gary is nice.
("Gary" "is" "nice" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
int2
Gary is blue.
("Gary" "is" "blue" "+")
int3
Alan is sometimes cold and blue, but he can also be kind and big.
Gary is young and green; He is big and is rough around the edges with tough red skin.
Harry is a person both green and big.
Nice and kind people tend to live green lifestyle and arent very rough.
You will find that a big, young, blue person is also quite round.
Blue people who are kind and nice are actually quite rough.
If you meet someone who is red and blue with a round shape, you can count on them being nice to you.
A young, red person will certainly be cold.
A person that is known to be big and rough is also green, they will feel blue about it.
Big people that tend to be nice and blue, may also be a little rough to others.