Charlie is big, round, rough and cold, but Charlie can also be nice. Fred has a round,red,rough looking face with kind eyes. Gary ate some rotten meat and now feels green. That man standing next to you with a big round body goes by the name of Harry. I've found that people with rough skin tend to be really nice but they also often feel blue. People who are young, while being red and cold, are big people. A cold and blue appearing person will be young as well. Kind and blue people,though young,tend to be big. A person who is green and kind is usually rather big. Big kind people are usually cold. A nice and young aged person will definitely be green in color.
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Gary is green.
("Gary" "is" "green" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is rough and nice then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and red and cold then they are big.
((("someone" "is" "young" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue and young then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "big" "+"))
If someone is green and kind then they are big.
((("someone" "is" "green" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is kind and big then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and young then they are green.
((("someone" "is" "nice" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "green" "+"))
Fred is rough.
True
1
proof
[(triple7)]
("Fred" "is" "rough" "+")
triple7
Fred is not rough.
False
1
inv-proof
[(triple7)]
("Fred" "is" "rough" "-")
triple7
Charlie is blue.
True
3
proof
[(((triple2 triple3) -> rule1))]
("Charlie" "is" "blue" "+")
((triple2 triple3) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple2 triple3) -> rule1))]
("Charlie" "is" "blue" "-")
((triple2 triple3) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
True
5
proof
[(((triple4 ((triple2 triple3) -> rule1)) -> rule3))]
("Charlie" "is" "young" "+")
((triple4 ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not young.
False
5
inv-proof
[(((triple4 ((triple2 triple3) -> rule1)) -> rule3))]
("Charlie" "is" "young" "-")
((triple4 ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
True
7
proof
[(((triple3 ((triple4 ((triple2 triple3) -> rule1)) -> rule3)) -> rule7))]
("Charlie" "is" "green" "+")
((triple3 ((triple4 ((triple2 triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not green.
False
7
inv-proof
[(((triple3 ((triple4 ((triple2 triple3) -> rule1)) -> rule3)) -> rule7))]
("Charlie" "is" "green" "-")
((triple3 ((triple4 ((triple2 triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Harry is not young.
Unknown
inv-rconc
[@2: Harry is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Harry" "is" "young" "-")
Fred is blue.
Unknown
rconc
[@1: Fred is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "blue" "+")
Fred is not green.
Unknown
inv-rconc
[@1: Fred is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fred" "is" "green" "-")
Gary is young.
Unknown
rconc
[@2: Gary is young.[CWA. Example of deepest failure = (rule3 <- rule6 <- FAIL)]]
("Gary" "is" "young" "+")
Harry is not rough.
Unknown
inv-random
[@0: Harry is rough.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "rough" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Gary is round.
Unknown
random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "+")
@0: Charlie is big.[(triple5)] Charlie is cold.[(triple4)] Charlie is nice.[(triple3)] Charlie is rough.[(triple2)] Charlie is round.[(triple1)] Fred is kind.[(triple9)] Fred is red.[(triple8)] Fred is rough.[(triple7)] Fred is round.[(triple6)] Gary is green.[(triple10)] Harry is big.[(triple12)] Harry is round.[(triple11)] @1: Charlie is blue.[(((triple2 triple3) -> rule1))] @2: Charlie is young.[(((triple4 ((triple2 triple3) -> rule1)) -> rule3))] @3: Charlie is green.[(((triple3 ((triple4 ((triple2 triple3) -> rule1)) -> rule3)) -> rule7))]
Charlie is big.
("Charlie" "is" "big" "+")
triple5
Charlie is cold.
("Charlie" "is" "cold" "+")
triple4
Charlie is nice.
("Charlie" "is" "nice" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Charlie is round.
("Charlie" "is" "round" "+")
triple1
Fred is kind.
("Fred" "is" "kind" "+")
triple9
Fred is red.
("Fred" "is" "red" "+")
triple8
Fred is rough.
("Fred" "is" "rough" "+")
triple7
Fred is round.
("Fred" "is" "round" "+")
triple6
Gary is green.
("Gary" "is" "green" "+")
triple10
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2 triple3) -> (rule1 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple4 ((triple2 triple3) -> (rule1 % int2))) -> (rule3 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is green.
("Charlie" "is" "green" "+")
((triple3 ((triple4 ((triple2 triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
Charlie is green.
("Charlie" "is" "green" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is big, round, rough and cold, but Charlie can also be nice.
Fred has a round,red,rough looking face with kind eyes.
Gary ate some rotten meat and now feels green.
That man standing next to you with a big round body goes by the name of Harry.
I've found that people with rough skin tend to be really nice but they also often feel blue.
People who are young, while being red and cold, are big people.
A cold and blue appearing person will be young as well.
Kind and blue people,though young,tend to be big.
A person who is green and kind is usually rather big.
Big kind people are usually cold.
A nice and young aged person will definitely be green in color.