Alan is rough but very kind, he is also red in color and young in age. Bob ate some rotten meat and now feels green. Charlie always goes out of his way to show that he is kind to people. Gary is blue and cold. Nice people that are blue because they are cold turn green with envy. Young and nice people have great big smiles. A rough person that is cold towards others is green. A big and blue colored person is also certainly very kind. Being green and rough are signs that someone is big. I have found that kind, rough people are both red and cold.
Alan is young.
("Alan" "is" "young" "+")
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Alan is kind.
("Alan" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is blue.
("Gary" "is" "blue" "+")
If someone is blue and nice and cold then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is young and nice then they are big.
((("someone" "is" "young" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is blue and big then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is green and rough then they are big.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is red and kind and rough then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
Alan is red.
True
1
proof
[(triple3)]
("Alan" "is" "red" "+")
triple3
Alan is not young.
False
1
inv-proof
[(triple1)]
("Alan" "is" "young" "-")
triple1
Alan is cold.
True
4
proof
[(((triple3 triple4 triple2) -> rule6))]
("Alan" "is" "cold" "+")
((triple3 triple4 triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is not cold.
False
4
inv-proof
[(((triple3 triple4 triple2) -> rule6))]
("Alan" "is" "cold" "-")
((triple3 triple4 triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
True
6
proof
[(((triple2 ((triple3 triple4 triple2) -> rule6)) -> rule3))]
("Alan" "is" "green" "+")
((triple2 ((triple3 triple4 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is not green.
False
6
inv-proof
[(((triple2 ((triple3 triple4 triple2) -> rule6)) -> rule3))]
("Alan" "is" "green" "-")
((triple2 ((triple3 triple4 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
True
8
proof
[(((((triple2 ((triple3 triple4 triple2) -> rule6)) -> rule3) triple2) -> rule5))]
("Alan" "is" "big" "+")
((((triple2 ((triple3 triple4 triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is not big.
False
8
inv-proof
[(((((triple2 ((triple3 triple4 triple2) -> rule6)) -> rule3) triple2) -> rule5))]
("Alan" "is" "big" "-")
((((triple2 ((triple3 triple4 triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Gary is not kind.
Unknown
inv-rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Gary" "is" "kind" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Charlie" "is" "green" "-")
Bob is kind.
Unknown
rconc
[@1: Bob is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "kind" "+")
Bob is not round.
Unknown
inv-random
[@0: Bob is round.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "round" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Gary is not rough.
Unknown
inv-random
[@0: Gary is rough.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "rough" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
@0: Alan is kind.[(triple4)] Alan is red.[(triple3)] Alan is rough.[(triple2)] Alan is young.[(triple1)] Bob is green.[(triple5)] Charlie is kind.[(triple6)] Gary is blue.[(triple8)] Gary is cold.[(triple7)] @1: Alan is cold.[(((triple3 triple4 triple2) -> rule6))] @2: Alan is green.[(((triple2 ((triple3 triple4 triple2) -> rule6)) -> rule3))] @3: Alan is big.[(((((triple2 ((triple3 triple4 triple2) -> rule6)) -> rule3) triple2) -> rule5))]
Alan is kind.
("Alan" "is" "kind" "+")
triple4
Alan is red.
("Alan" "is" "red" "+")
triple3
Alan is rough.
("Alan" "is" "rough" "+")
triple2
Alan is young.
("Alan" "is" "young" "+")
triple1
Bob is green.
("Bob" "is" "green" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is cold.
("Gary" "is" "cold" "+")
triple7
Alan is cold.
("Alan" "is" "cold" "+")
((triple3 triple4 triple2) -> (rule6 % int1))
Alan is cold.
("Alan" "is" "cold" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
((triple2 ((triple3 triple4 triple2) -> (rule6 % int2))) -> (rule3 % int1))
Alan is green.
("Alan" "is" "green" "+")
int1
Alan is cold.
("Alan" "is" "cold" "+")
int2
Alan is big.
("Alan" "is" "big" "+")
((((triple2 ((triple3 triple4 triple2) -> (rule6 % int3))) -> (rule3 % int2)) triple2) -> (rule5 % int1))
Alan is big.
("Alan" "is" "big" "+")
int1
Alan is green.
("Alan" "is" "green" "+")
int2
Alan is cold.
("Alan" "is" "cold" "+")
int3
Alan is rough but very kind, he is also red in color and young in age.
Bob ate some rotten meat and now feels green.
Charlie always goes out of his way to show that he is kind to people.
Gary is blue and cold.
Nice people that are blue because they are cold turn green with envy.
Young and nice people have great big smiles.
A rough person that is cold towards others is green.
A big and blue colored person is also certainly very kind.
Being green and rough are signs that someone is big.
I have found that kind, rough people are both red and cold.