Charlie is big for being as young as he is. You will also notice how he is green and red. Dave is a man who is both round and rough. When you talk about Eric, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone. That man standing next to you with a big round body goes by the name of Harry. Anyone in the world who is nice, red, and young, is simultaneously rough. When someone is blue, lives green they can be rough but kind. People that feel green are cold to people that try to help them. Someone being both nice and kind means that they are a big person. Being cold and blue made them rough to deal with. People who are blue and cold are red. All men who happen to be red and big, will also be blue.
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is nice.
("Eric" "is" "nice" "+")
Eric is cold.
("Eric" "is" "cold" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is nice and red and young then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough and green then they are kind.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
If someone is green then they are cold.
((("someone" "is" "green" "+")) -> ("someone" "is" "cold" "+"))
If someone is nice and kind then they are big.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and blue then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and cold then they are red.
((("someone" "is" "blue" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "red" "+"))
If someone is red and big then they are blue.
((("someone" "is" "red" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
Charlie is red.
True
1
proof
[(triple2)]
("Charlie" "is" "red" "+")
triple2
Harry is not round.
False
1
inv-proof
[(triple10)]
("Harry" "is" "round" "-")
triple10
Charlie is blue.
True
3
proof
[(((triple2 triple4) -> rule7))]
("Charlie" "is" "blue" "+")
((triple2 triple4) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple3) -> rule3))]
("Charlie" "is" "cold" "-")
((triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
True
6
proof
[(((((triple3) -> rule3) ((triple2 triple4) -> rule7)) -> rule5))]
("Charlie" "is" "rough" "+")
((((triple3) -> (rule3 % int3)) ((triple2 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is not rough.
False
6
inv-proof
[(((((triple3) -> rule3) ((triple2 triple4) -> rule7)) -> rule5))]
("Charlie" "is" "rough" "-")
((((triple3) -> (rule3 % int3)) ((triple2 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
True
11
proof
[(((((triple2 triple4) -> rule7) ((((triple3) -> rule3) ((triple2 triple4) -> rule7)) -> rule5) triple3) -> rule2))]
("Charlie" "is" "kind" "+")
((((triple2 triple4) -> (rule7 % int4)) ((((triple3) -> (rule3 % int3)) ((triple2 triple4) -> (rule7 % int4))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is not kind.
False
11
inv-proof
[(((((triple2 triple4) -> rule7) ((((triple3) -> rule3) ((triple2 triple4) -> rule7)) -> rule5) triple3) -> rule2))]
("Charlie" "is" "kind" "-")
((((triple2 triple4) -> (rule7 % int4)) ((((triple3) -> (rule3 % int3)) ((triple2 triple4) -> (rule7 % int4))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Eric is not big.
Unknown
inv-rconc
[@2: Eric is big.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("Eric" "is" "big" "-")
Eric is blue.
Unknown
rconc
[@2: Eric is blue.[CWA. Example of deepest failure = (rule7 <- rule6 <- FAIL)]]
("Eric" "is" "blue" "+")
Eric is not red.
Unknown
inv-rconc
[@2: Eric is red.[CWA. Example of deepest failure = (rule6 <- rule7 <- FAIL)]]
("Eric" "is" "red" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "+")
Harry is not green.
Unknown
inv-random
[@0: Harry is green.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "green" "-")
Charlie is nice.
Unknown
random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Harry is nice.
Unknown
random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "+")
@0: Charlie is big.[(triple4)] Charlie is green.[(triple3)] Charlie is red.[(triple2)] Charlie is young.[(triple1)] Dave is rough.[(triple6)] Dave is round.[(triple5)] Eric is cold.[(triple9)] Eric is nice.[(triple8)] Eric is rough.[(triple7)] Harry is big.[(triple11)] Harry is round.[(triple10)] @1: Charlie is blue.[(((triple2 triple4) -> rule7))] Charlie is cold.[(((triple3) -> rule3))] @2: Charlie is rough.[(((((triple3) -> rule3) ((triple2 triple4) -> rule7)) -> rule5))] @3: Charlie is kind.[(((((triple2 triple4) -> rule7) ((((triple3) -> rule3) ((triple2 triple4) -> rule7)) -> rule5) triple3) -> rule2))]
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is green.
("Charlie" "is" "green" "+")
triple3
Charlie is red.
("Charlie" "is" "red" "+")
triple2
Charlie is young.
("Charlie" "is" "young" "+")
triple1
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Dave is round.
("Dave" "is" "round" "+")
triple5
Eric is cold.
("Eric" "is" "cold" "+")
triple9
Eric is nice.
("Eric" "is" "nice" "+")
triple8
Eric is rough.
("Eric" "is" "rough" "+")
triple7
Harry is big.
("Harry" "is" "big" "+")
triple11
Harry is round.
("Harry" "is" "round" "+")
triple10
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple2 triple4) -> (rule7 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple3) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
((((triple3) -> (rule3 % int3)) ((triple2 triple4) -> (rule7 % int2))) -> (rule5 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
((((triple2 triple4) -> (rule7 % int4)) ((((triple3) -> (rule3 % int3)) ((triple2 triple4) -> (rule7 % int4))) -> (rule5 % int2)) triple3) -> (rule2 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
int4
Charlie is big for being as young as he is; You will also notice how he is green and red.
Dave is a man who is both round and rough.
When you talk about Eric, the first thing you notice is his rough and cold demeanor and then when you talk to him you find out how very nice he really is to everyone.
That man standing next to you with a big round body goes by the name of Harry.
Anyone in the world who is nice, red, and young, is simultaneously rough.
When someone is blue, lives green they can be rough but kind.
People that feel green are cold to people that try to help them.
Someone being both nice and kind means that they are a big person.
Being cold and blue made them rough to deal with.
People who are blue and cold are red.
All men who happen to be red and big, will also be blue.