They always call him rough Alan. Bob is big and round for being so young. He ate some spoiled food that has him feeling green. Dave has green teeth and rough skin. People also notice his blue eyes. Fred is a nice person who is red because he has a rash. A good thing to remember is that rough and green people are round as well. Rough folks with green and red coloration tend to feel cold no matter what. A round and blue individual will also be a cold individual. Young people are rough. It's just a fact that a blue person is a kind person. There is a trend I've noticed if someone is nice, kind and big they are also young in appearance. Those who are round and cold are young.
Alan is rough.
("Alan" "is" "rough" "+")
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is green.
("Dave" "is" "green" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Fred is red.
("Fred" "is" "red" "+")
Fred is nice.
("Fred" "is" "nice" "+")
If someone is rough and green then they are round.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is rough and green and red then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "green" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is round and blue then they are cold.
((("someone" "is" "round" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "cold" "+"))
If someone is young then they are rough.
((("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is nice and kind and big then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and round then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
Dave is rough.
True
1
proof
[(triple6)]
("Dave" "is" "rough" "+")
triple6
Bob is not green.
False
1
inv-proof
[(triple4)]
("Bob" "is" "green" "-")
triple4
Dave is kind.
True
2
proof
[(((triple8) -> rule5))]
("Dave" "is" "kind" "+")
((triple8) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Bob is not rough.
False
2
inv-proof
[(((triple2) -> rule4))]
("Bob" "is" "rough" "-")
((triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is cold.
True
5
proof
[(((((triple6 triple7) -> rule1) triple8) -> rule3))]
("Dave" "is" "cold" "+")
((((triple6 triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is not cold.
False
5
inv-proof
[(((((triple6 triple7) -> rule1) triple8) -> rule3))]
("Dave" "is" "cold" "-")
((((triple6 triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
True
9
proof
[(((((((triple6 triple7) -> rule1) triple8) -> rule3) ((triple6 triple7) -> rule1)) -> rule7))]
("Dave" "is" "young" "+")
((((((triple6 triple7) -> (rule1 % int3)) triple8) -> (rule3 % int2)) ((triple6 triple7) -> (rule1 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Dave is not young.
False
9
inv-proof
[(((((((triple6 triple7) -> rule1) triple8) -> rule3) ((triple6 triple7) -> rule1)) -> rule7))]
("Dave" "is" "young" "-")
((((((triple6 triple7) -> (rule1 % int3)) triple8) -> (rule3 % int2)) ((triple6 triple7) -> (rule1 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
Fred is not round.
Unknown
inv-rconc
[@1: Fred is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Fred" "is" "round" "-")
Fred is young.
Unknown
rconc
[@2: Fred is young.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Fred" "is" "young" "+")
Alan is not young.
Unknown
inv-rconc
[@2: Alan is young.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("Alan" "is" "young" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Alan" "is" "cold" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Fred is blue.
Unknown
random
[@0: Fred is blue.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "blue" "+")
Fred is not green.
Unknown
inv-random
[@0: Fred is green.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "green" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Alan is rough.[(triple1)] Bob is big.[(triple5)] Bob is green.[(triple4)] Bob is round.[(triple3 OR ((((triple2) -> rule4) triple4) -> rule1))] Bob is young.[(triple2)] Dave is blue.[(triple8)] Dave is green.[(triple7)] Dave is rough.[(triple6)] Fred is nice.[(triple10)] Fred is red.[(triple9)] @1: Bob is rough.[(((triple2) -> rule4))] Dave is kind.[(((triple8) -> rule5))] Dave is round.[(((triple6 triple7) -> rule1))] @2: Dave is cold.[(((((triple6 triple7) -> rule1) triple8) -> rule3))] @3: Dave is young.[(((((((triple6 triple7) -> rule1) triple8) -> rule3) ((triple6 triple7) -> rule1)) -> rule7))]
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is green.
("Bob" "is" "green" "+")
triple4
Bob is round.
("Bob" "is" "round" "+")
triple3
((((triple2) -> (rule4 % int2)) triple4) -> (rule1 % int1))
Bob is round.
("Bob" "is" "round" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is young.
("Bob" "is" "young" "+")
triple2
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is green.
("Dave" "is" "green" "+")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple6
Fred is nice.
("Fred" "is" "nice" "+")
triple10
Fred is red.
("Fred" "is" "red" "+")
triple9
Bob is rough.
("Bob" "is" "rough" "+")
((triple2) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
((triple8) -> (rule5 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple6 triple7) -> (rule1 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((((triple6 triple7) -> (rule1 % int2)) triple8) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((((((triple6 triple7) -> (rule1 % int3)) triple8) -> (rule3 % int2)) ((triple6 triple7) -> (rule1 % int3))) -> (rule7 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is round.
("Dave" "is" "round" "+")
int3
They always call him rough Alan.
Bob is big and round for being so young; He ate some spoiled food that has him feeling green.
Dave has green teeth and rough skin; People also notice his blue eyes.
Fred is a nice person who is red because he has a rash.
A good thing to remember is that rough and green people are round as well.
Rough folks with green and red coloration tend to feel cold no matter what.
A round and blue individual will also be a cold individual.
Young people are rough.
It's just a fact that a blue person is a kind person.
There is a trend I've noticed if someone is nice, kind and big they are also young in appearance.
Those who are round and cold are young.