I know Dave really well and you can say he is rough on the outside, cold on the inside and red all of the time. Fred fits the description of someone who is rough, red and blue. They always call him rough Harry. Someone who is both red and blue will also be a nice person. A rough person that is cold towards others is green. Cold, red people are generally kind and big. When someone is nice, dressing in red, they can be blue because they are cold. People who are red, young, and round are also blue.
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Fred is rough.
("Fred" "is" "rough" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is blue.
("Fred" "is" "blue" "+")
Harry is rough.
("Harry" "is" "rough" "+")
If someone is red and blue then they are nice.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
If someone is kind and red and cold then they are big.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and red and young then they are blue.
((("someone" "is" "round" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "blue" "+"))
Fred is red.
True
1
proof
[(triple5)]
("Fred" "is" "red" "+")
triple5
Dave is not red.
False
1
inv-proof
[(triple2)]
("Dave" "is" "red" "-")
triple2
Dave is green.
True
3
proof
[(((triple1 triple3) -> rule2))]
("Dave" "is" "green" "+")
((triple1 triple3) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fred is not nice.
False
3
inv-proof
[(((triple5 triple6) -> rule1))]
("Fred" "is" "nice" "-")
((triple5 triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
True
6
proof
[(((((triple5 triple6) -> rule1) triple6 triple5) -> rule4))]
("Fred" "is" "cold" "+")
((((triple5 triple6) -> (rule1 % int2)) triple6 triple5) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is not cold.
False
6
inv-proof
[(((((triple5 triple6) -> rule1) triple6 triple5) -> rule4))]
("Fred" "is" "cold" "-")
((((triple5 triple6) -> (rule1 % int2)) triple6 triple5) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
True
8
proof
[(((triple4 ((((triple5 triple6) -> rule1) triple6 triple5) -> rule4)) -> rule2))]
("Fred" "is" "green" "+")
((triple4 ((((triple5 triple6) -> (rule1 % int3)) triple6 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Fred is not green.
False
8
inv-proof
[(((triple4 ((((triple5 triple6) -> rule1) triple6 triple5) -> rule4)) -> rule2))]
("Fred" "is" "green" "-")
((triple4 ((((triple5 triple6) -> (rule1 % int3)) triple6 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Dave" "is" "blue" "-")
Charlie is big.
Unknown
rconc
[@1: Charlie is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Charlie" "is" "big" "+")
Fred is not big.
Unknown
inv-rconc
[@1: Fred is big.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Fred" "is" "big" "-")
Dave is nice.
Unknown
rconc
[@2: Dave is nice.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("Dave" "is" "nice" "+")
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Dave is young.
Unknown
random
[@0: Dave is young.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "young" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Dave is cold.[(triple3)] Dave is red.[(triple2)] Dave is rough.[(triple1)] Fred is blue.[(triple6)] Fred is red.[(triple5)] Fred is rough.[(triple4)] Harry is rough.[(triple7)] @1: Dave is green.[(((triple1 triple3) -> rule2))] Fred is nice.[(((triple5 triple6) -> rule1))] @2: Fred is cold.[(((((triple5 triple6) -> rule1) triple6 triple5) -> rule4))] @3: Fred is green.[(((triple4 ((((triple5 triple6) -> rule1) triple6 triple5) -> rule4)) -> rule2))]
Dave is cold.
("Dave" "is" "cold" "+")
triple3
Dave is red.
("Dave" "is" "red" "+")
triple2
Dave is rough.
("Dave" "is" "rough" "+")
triple1
Fred is blue.
("Fred" "is" "blue" "+")
triple6
Fred is red.
("Fred" "is" "red" "+")
triple5
Fred is rough.
("Fred" "is" "rough" "+")
triple4
Harry is rough.
("Harry" "is" "rough" "+")
triple7
Dave is green.
("Dave" "is" "green" "+")
((triple1 triple3) -> (rule2 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
((triple5 triple6) -> (rule1 % int1))
Fred is nice.
("Fred" "is" "nice" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
((((triple5 triple6) -> (rule1 % int2)) triple6 triple5) -> (rule4 % int1))
Fred is cold.
("Fred" "is" "cold" "+")
int1
Fred is nice.
("Fred" "is" "nice" "+")
int2
Fred is green.
("Fred" "is" "green" "+")
((triple4 ((((triple5 triple6) -> (rule1 % int3)) triple6 triple5) -> (rule4 % int2))) -> (rule2 % int1))
Fred is green.
("Fred" "is" "green" "+")
int1
Fred is cold.
("Fred" "is" "cold" "+")
int2
Fred is nice.
("Fred" "is" "nice" "+")
int3
I know Dave really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Fred fits the description of someone who is rough, red and blue.
They always call him rough Harry.
Someone who is both red and blue will also be a nice person.
A rough person that is cold towards others is green.
Cold, red people are generally kind and big.
When someone is nice, dressing in red, they can be blue because they are cold.
People who are red, young, and round are also blue.