They always call him rough Charlie. Dave's characteristics are that he is young, round, red, nice, kind, green and big. Fred ate some rotten meat and now feels green. Harry is a nice person, but he is both blue and red. A person who's big and kind will also be cold. A round person who is nice and feelin cold is usually rough in apperance. A young person with rough red skin is downhearted and blue. Round people who feel rough also always feel cold,. Young and kind people, that also tend to be cold, are then considered green.
Charlie is rough.
("Charlie" "is" "rough" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is round.
("Dave" "is" "round" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is big.
("Dave" "is" "big" "+")
Fred is green.
("Fred" "is" "green" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is blue.
("Harry" "is" "blue" "+")
If someone is big and kind then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and nice and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and young and red then they are blue.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and rough then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is young and kind and cold then they are green.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Dave is nice.
True
1
proof
[(triple5)]
("Dave" "is" "nice" "+")
triple5
Dave is not nice.
False
1
inv-proof
[(triple5)]
("Dave" "is" "nice" "-")
triple5
Dave is cold.
True
3
proof
[(((triple8 triple6) -> rule1))]
("Dave" "is" "cold" "+")
((triple8 triple6) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is not cold.
False
3
inv-proof
[(((triple8 triple6) -> rule1))]
("Dave" "is" "cold" "-")
((triple8 triple6) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
True
6
proof
[(((triple3 triple5 ((triple8 triple6) -> rule1)) -> rule2))]
("Dave" "is" "rough" "+")
((triple3 triple5 ((triple8 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is not rough.
False
6
inv-proof
[(((triple3 triple5 ((triple8 triple6) -> rule1)) -> rule2))]
("Dave" "is" "rough" "-")
((triple3 triple5 ((triple8 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
True
9
proof
[(((((triple3 triple5 ((triple8 triple6) -> rule1)) -> rule2) triple2 triple4) -> rule3))]
("Dave" "is" "blue" "+")
((((triple3 triple5 ((triple8 triple6) -> (rule1 % int3))) -> (rule2 % int2)) triple2 triple4) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is not blue.
False
9
inv-proof
[(((((triple3 triple5 ((triple8 triple6) -> rule1)) -> rule2) triple2 triple4) -> rule3))]
("Dave" "is" "blue" "-")
((((triple3 triple5 ((triple8 triple6) -> (rule1 % int3))) -> (rule2 % int2)) triple2 triple4) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Fred is not rough.
Unknown
inv-rconc
[@1: Fred is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Fred" "is" "rough" "-")
Charlie is green.
Unknown
rconc
[@1: Charlie is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Charlie" "is" "green" "+")
Harry is not green.
Unknown
inv-rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "green" "-")
Harry is rough.
Unknown
rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Harry" "is" "rough" "+")
Harry is not young.
Unknown
inv-random
[@0: Harry is young.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "young" "-")
Fred is young.
Unknown
random
[@0: Fred is young.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "young" "+")
Fred is not red.
Unknown
inv-random
[@0: Fred is red.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "red" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Charlie is rough.[(triple1)] Dave is big.[(triple8)] Dave is green.[(triple7 OR ((triple2 triple6 ((triple8 triple6) -> rule1)) -> rule5))] Dave is kind.[(triple6)] Dave is nice.[(triple5)] Dave is red.[(triple4)] Dave is round.[(triple3)] Dave is young.[(triple2)] Fred is green.[(triple9)] Harry is blue.[(triple12)] Harry is nice.[(triple11)] Harry is red.[(triple10)] @1: Dave is cold.[(((triple8 triple6) -> rule1))] @2: Dave is rough.[(((triple3 triple5 ((triple8 triple6) -> rule1)) -> rule2))] @3: Dave is blue.[(((((triple3 triple5 ((triple8 triple6) -> rule1)) -> rule2) triple2 triple4) -> rule3))]
Charlie is rough.
("Charlie" "is" "rough" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
((triple2 triple6 ((triple8 triple6) -> (rule1 % int2))) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is kind.
("Dave" "is" "kind" "+")
triple6
Dave is nice.
("Dave" "is" "nice" "+")
triple5
Dave is red.
("Dave" "is" "red" "+")
triple4
Dave is round.
("Dave" "is" "round" "+")
triple3
Dave is young.
("Dave" "is" "young" "+")
triple2
Fred is green.
("Fred" "is" "green" "+")
triple9
Harry is blue.
("Harry" "is" "blue" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Dave is cold.
("Dave" "is" "cold" "+")
((triple8 triple6) -> (rule1 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
((triple3 triple5 ((triple8 triple6) -> (rule1 % int2))) -> (rule2 % int1))
Dave is rough.
("Dave" "is" "rough" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
((((triple3 triple5 ((triple8 triple6) -> (rule1 % int3))) -> (rule2 % int2)) triple2 triple4) -> (rule3 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is rough.
("Dave" "is" "rough" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
They always call him rough Charlie.
Dave's characteristics are that he is young, round, red, nice, kind, green and big.
Fred ate some rotten meat and now feels green.
Harry is a nice person, but he is both blue and red.
A person who's big and kind will also be cold.
A round person who is nice and feelin cold is usually rough in apperance.
A young person with rough red skin is downhearted and blue.
Round people who feel rough also always feel cold,.
Young and kind people, that also tend to be cold, are then considered green.