That rough but kind guy is Bob, the green one. Dave is nice, even when he is rough and red with anger. Gary is big and green guy whose cold personality makes him seem very rough. Red people feel blue about it. Cold, green people have a habit of eating alot and looking quite round. If someone is blue, young, and rough, they qualify as being round. When someone is nice, dressing in red, they can be blue because they are cold. A person who exhibits nice, kind and cold characteristics will also be a rough person. I believe that red, cold, rough people are likely to be green.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Bob is green.
("Bob" "is" "green" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is red then they are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is cold and green then they are round.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and young and blue then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
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 kind and nice and cold then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough and red and cold then they are green.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "green" "+"))
Gary is cold.
True
1
proof
[(triple9)]
("Gary" "is" "cold" "+")
triple9
Gary is not cold.
False
1
inv-proof
[(triple9)]
("Gary" "is" "cold" "-")
triple9
Gary is round.
True
3
proof
[(((triple9 triple8) -> rule2))]
("Gary" "is" "round" "+")
((triple9 triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is not blue.
False
2
inv-proof
[(((triple5) -> rule1))]
("Dave" "is" "blue" "-")
((triple5) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
True
5
proof
[(((triple6 ((triple5) -> rule1) triple5) -> rule4))]
("Dave" "is" "cold" "+")
((triple6 ((triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is not cold.
False
5
inv-proof
[(((triple6 ((triple5) -> rule1) triple5) -> rule4))]
("Dave" "is" "cold" "-")
((triple6 ((triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
True
8
proof
[(((triple4 triple5 ((triple6 ((triple5) -> rule1) triple5) -> rule4)) -> rule6))]
("Dave" "is" "green" "+")
((triple4 triple5 ((triple6 ((triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is not green.
False
8
inv-proof
[(((triple4 triple5 ((triple6 ((triple5) -> rule1) triple5) -> rule4)) -> rule6))]
("Dave" "is" "green" "-")
((triple4 triple5 ((triple6 ((triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
True
14
proof
[(((((triple6 ((triple5) -> rule1) triple5) -> rule4) ((triple4 triple5 ((triple6 ((triple5) -> rule1) triple5) -> rule4)) -> rule6)) -> rule2))]
("Dave" "is" "round" "+")
((((triple6 ((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((triple4 triple5 ((triple6 ((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not round.
False
14
inv-proof
[(((((triple6 ((triple5) -> rule1) triple5) -> rule4) ((triple4 triple5 ((triple6 ((triple5) -> rule1) triple5) -> rule4)) -> rule6)) -> rule2))]
("Dave" "is" "round" "-")
((((triple6 ((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((triple4 triple5 ((triple6 ((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Bob is not blue.
Unknown
inv-rconc
[@1: Bob is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Bob" "is" "blue" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Harry" "is" "cold" "+")
Harry is not rough.
Unknown
inv-rconc
[@1: Harry is rough.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "rough" "-")
Harry is green.
Unknown
rconc
[@1: Harry is green.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Harry" "is" "green" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Bob" "is" "cold" "-")
Harry is big.
Unknown
random
[@0: Harry is big.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "big" "+")
Harry is not nice.
Unknown
inv-random
[@0: Harry is nice.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "nice" "-")
Bob is young.
Unknown
random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Bob is green.[(triple3)] Bob is kind.[(triple2)] Bob is rough.[(triple1)] Dave is nice.[(triple6)] Dave is red.[(triple5)] Dave is rough.[(triple4)] Gary is big.[(triple10)] Gary is cold.[(triple9)] Gary is green.[(triple8)] Gary is rough.[(triple7)] @1: Dave is blue.[(((triple5) -> rule1))] Gary is round.[(((triple9 triple8) -> rule2))] @2: Dave is cold.[(((triple6 ((triple5) -> rule1) triple5) -> rule4))] @3: Dave is green.[(((triple4 triple5 ((triple6 ((triple5) -> rule1) triple5) -> rule4)) -> rule6))] @4: Dave is round.[(((((triple6 ((triple5) -> rule1) triple5) -> rule4) ((triple4 triple5 ((triple6 ((triple5) -> rule1) triple5) -> rule4)) -> rule6)) -> rule2))]
Bob is green.
("Bob" "is" "green" "+")
triple3
Bob is kind.
("Bob" "is" "kind" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Dave is nice.
("Dave" "is" "nice" "+")
triple6
Dave is red.
("Dave" "is" "red" "+")
triple5
Dave is rough.
("Dave" "is" "rough" "+")
triple4
Gary is big.
("Gary" "is" "big" "+")
triple10
Gary is cold.
("Gary" "is" "cold" "+")
triple9
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is rough.
("Gary" "is" "rough" "+")
triple7
Dave is blue.
("Dave" "is" "blue" "+")
((triple5) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
((triple9 triple8) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple6 ((triple5) -> (rule1 % int2)) triple5) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is green.
("Dave" "is" "green" "+")
((triple4 triple5 ((triple6 ((triple5) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule6 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
Dave is round.
("Dave" "is" "round" "+")
((((triple6 ((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3)) ((triple4 triple5 ((triple6 ((triple5) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
That rough but kind guy is Bob, the green one.
Dave is nice, even when he is rough and red with anger.
Gary is big and green guy whose cold personality makes him seem very rough.
Red people feel blue about it.
Cold, green people have a habit of eating alot and looking quite round.
If someone is blue, young, and rough, they qualify as being round.
When someone is nice, dressing in red, they can be blue because they are cold.
A person who exhibits nice, kind and cold characteristics will also be a rough person.
I believe that red, cold, rough people are likely to be green.