They always call him rough Charlie. Dave is both young and fairly round in size. When he was found Fred was an icy cold blue. Being green and not used to country life Fred didn't know that being kind and round would get him trapped in a snowstorm. Fred is red with embarrassment. Even though Harry is young, he is still very round and still very red. A big round person is nice. Surprisingly, all the kind, green people were also big. A young, green person who is cold is rough around the edges. A big person that is tattooed blue will be very nice. Nice people who are big in stature often look rough. People who are considered rough, blue, and nice, are also green.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Fred is round.
("Fred" "is" "round" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is kind.
("Fred" "is" "kind" "+")
Fred is green.
("Fred" "is" "green" "+")
Fred is cold.
("Fred" "is" "cold" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is red.
("Harry" "is" "red" "+")
If someone is round and big then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is kind and green then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "big" "+"))
If someone is cold and green and young then they are rough.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and blue then they are nice.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and big then they are rough.
((("someone" "is" "nice" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and blue and nice then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "green" "+"))
Fred is blue.
True
1
proof
[(triple9)]
("Fred" "is" "blue" "+")
triple9
Harry is not round.
False
1
inv-proof
[(triple11)]
("Harry" "is" "round" "-")
triple11
Fred is big.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Fred" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is not big.
False
3
inv-proof
[(((triple6 triple7) -> rule2))]
("Fred" "is" "big" "-")
((triple6 triple7) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
True
5
proof
[(((triple4 ((triple6 triple7) -> rule2)) -> rule1) OR ((((triple6 triple7) -> rule2) triple9) -> rule4))]
("Fred" "is" "nice" "+")
((triple4 ((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
((((triple6 triple7) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is not nice.
False
5
inv-proof
[(((triple4 ((triple6 triple7) -> rule2)) -> rule1) OR ((((triple6 triple7) -> rule2) triple9) -> rule4))]
("Fred" "is" "nice" "-")
((triple4 ((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
((((triple6 triple7) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
True
9
proof
[(((((triple4 ((triple6 triple7) -> rule2)) -> rule1) ((triple6 triple7) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule2) triple9) -> rule4) ((triple6 triple7) -> rule2)) -> rule5))]
("Fred" "is" "rough" "+")
((((triple4 ((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((((((triple6 triple7) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Fred is not rough.
False
9
inv-proof
[(((((triple4 ((triple6 triple7) -> rule2)) -> rule1) ((triple6 triple7) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule2) triple9) -> rule4) ((triple6 triple7) -> rule2)) -> rule5))]
("Fred" "is" "rough" "-")
((((triple4 ((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((((((triple6 triple7) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
Charlie is not green.
Unknown
inv-rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Charlie" "is" "green" "-")
Harry is rough.
Unknown
rconc
[@2: Harry is rough.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Dave is not rough.
Unknown
inv-rconc
[@2: Dave is rough.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("Dave" "is" "rough" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Charlie is not cold.
Unknown
inv-random
[@0: Charlie is cold.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "cold" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
Charlie is not round.
Unknown
inv-random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Charlie is rough.[(triple1)] Dave is round.[(triple3)] Dave is young.[(triple2)] Fred is blue.[(triple9)] Fred is cold.[(triple8)] Fred is green.[(triple7)] Fred is kind.[(triple6)] Fred is red.[(triple5)] Fred is round.[(triple4)] Harry is red.[(triple12)] Harry is round.[(triple11)] Harry is young.[(triple10)] @1: Fred is big.[(((triple6 triple7) -> rule2))] @2: Fred is nice.[(((triple4 ((triple6 triple7) -> rule2)) -> rule1) OR ((((triple6 triple7) -> rule2) triple9) -> rule4))] @3: Fred is rough.[(((((triple4 ((triple6 triple7) -> rule2)) -> rule1) ((triple6 triple7) -> rule2)) -> rule5) OR ((((((triple6 triple7) -> rule2) triple9) -> rule4) ((triple6 triple7) -> rule2)) -> rule5))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is blue.
("Fred" "is" "blue" "+")
triple9
Fred is cold.
("Fred" "is" "cold" "+")
triple8
Fred is green.
("Fred" "is" "green" "+")
triple7
Fred is kind.
("Fred" "is" "kind" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is round.
("Fred" "is" "round" "+")
triple4
Harry is red.
("Harry" "is" "red" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Fred is big.
("Fred" "is" "big" "+")
((triple6 triple7) -> (rule2 % int1))
Fred is big.
("Fred" "is" "big" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple4 ((triple6 triple7) -> (rule2 % int2))) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
((((triple6 triple7) -> (rule2 % int2)) triple9) -> (rule4 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is big.
("Fred" "is" "big" "+")
int2
Fred is rough.
("Fred" "is" "rough" "+")
((((triple4 ((triple6 triple7) -> (rule2 % int3))) -> (rule1 % int2)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
((((((triple6 triple7) -> (rule2 % int3)) triple9) -> (rule4 % int2)) ((triple6 triple7) -> (rule2 % int3))) -> (rule5 % int1))
Fred is rough.
("Fred" "is" "rough" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is big.
("Fred" "is" "big" "+")
int3
They always call him rough Charlie.
Dave is both young and fairly round in size.
When he was found Fred was an icy cold blue; Being green and not used to country life Fred didn't know that being kind and round would get him trapped in a snowstorm; Fred is red with embarrassment.
Even though Harry is young, he is still very round and still very red.
A big round person is nice.
Surprisingly, all the kind, green people were also big.
A young, green person who is cold is rough around the edges.
A big person that is tattooed blue will be very nice.
Nice people who are big in stature often look rough.
People who are considered rough, blue, and nice, are also green.