Young Bob is wearing green pants. That big rough Charlie guy is both red and blue at the same time. Dave is man who is rough, red, nice, kind, and also green. A rough textured and cold person is definitely young. Because of circulation issues big people are often cold. If they are also green then they are certainly young. Ifa blue and green colored person is rough then they must be big shaped. If you find that someone has rough blue skin they are always kind. I have found that kind, rough people are both red and cold. Big people that are also rough, are ultimately round.
Bob is young.
("Bob" "is" "young" "+")
Bob is green.
("Bob" "is" "green" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Dave is green.
("Dave" "is" "green" "+")
If someone is rough and cold then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and green and big then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "green" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If someone is blue and green and rough then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone is rough and blue then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is red and kind and rough then they are cold.
((("someone" "is" "red" "+") ("someone" "is" "kind" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If someone is big and rough then they are round.
((("someone" "is" "big" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Bob is green.
True
1
proof
[(triple2)]
("Bob" "is" "green" "+")
triple2
Dave is not kind.
False
1
inv-proof
[(triple10)]
("Dave" "is" "kind" "-")
triple10
Charlie is kind.
True
3
proof
[(((triple3 triple5) -> rule4))]
("Charlie" "is" "kind" "+")
((triple3 triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Dave is not cold.
False
4
inv-proof
[(((triple8 triple10 triple7) -> rule5))]
("Dave" "is" "cold" "-")
((triple8 triple10 triple7) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Charlie is cold.
True
6
proof
[(((triple4 ((triple3 triple5) -> rule4) triple3) -> rule5))]
("Charlie" "is" "cold" "+")
((triple4 ((triple3 triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not cold.
False
6
inv-proof
[(((triple4 ((triple3 triple5) -> rule4) triple3) -> rule5))]
("Charlie" "is" "cold" "-")
((triple4 ((triple3 triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is young.
True
8
proof
[(((triple3 ((triple4 ((triple3 triple5) -> rule4) triple3) -> rule5)) -> rule1))]
("Charlie" "is" "young" "+")
((triple3 ((triple4 ((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Charlie is not young.
False
8
inv-proof
[(((triple3 ((triple4 ((triple3 triple5) -> rule4) triple3) -> rule5)) -> rule1))]
("Charlie" "is" "young" "-")
((triple3 ((triple4 ((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Dave is not round.
Unknown
inv-rconc
[@2: Dave is round.[CWA. Example of deepest failure = (rule6 <- rule3 <- FAIL)]]
("Dave" "is" "round" "-")
Alan is cold.
Unknown
rconc
[@1: Alan is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Alan" "is" "cold" "+")
Bob is not cold.
Unknown
inv-rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Bob" "is" "cold" "-")
Alan is young.
Unknown
rconc
[@1: Alan is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Alan" "is" "young" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Charlie is not nice.
Unknown
inv-random
[@0: Charlie is nice.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "nice" "-")
Alan is nice.
Unknown
random
[@0: Alan is nice.[CWA. Example of deepest failure = (FAIL)]]
("Alan" "is" "nice" "+")
@0: Bob is green.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple6)] Charlie is blue.[(triple5)] Charlie is red.[(triple4)] Charlie is rough.[(triple3)] Dave is green.[(triple11)] Dave is kind.[(triple10)] Dave is nice.[(triple9)] Dave is red.[(triple8)] Dave is rough.[(triple7)] @1: Charlie is kind.[(((triple3 triple5) -> rule4))] Charlie is round.[(((triple6 triple3) -> rule6))] Dave is cold.[(((triple8 triple10 triple7) -> rule5))] @2: Charlie is cold.[(((triple4 ((triple3 triple5) -> rule4) triple3) -> rule5))] Dave is young.[(((triple7 ((triple8 triple10 triple7) -> rule5)) -> rule1))] @3: Charlie is young.[(((triple3 ((triple4 ((triple3 triple5) -> rule4) triple3) -> rule5)) -> rule1))]
Bob is green.
("Bob" "is" "green" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is blue.
("Charlie" "is" "blue" "+")
triple5
Charlie is red.
("Charlie" "is" "red" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple3
Dave is green.
("Dave" "is" "green" "+")
triple11
Dave is kind.
("Dave" "is" "kind" "+")
triple10
Dave is nice.
("Dave" "is" "nice" "+")
triple9
Dave is red.
("Dave" "is" "red" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple3 triple5) -> (rule4 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple6 triple3) -> (rule6 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple8 triple10 triple7) -> (rule5 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple4 ((triple3 triple5) -> (rule4 % int2)) triple3) -> (rule5 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Dave is young.
("Dave" "is" "young" "+")
((triple7 ((triple8 triple10 triple7) -> (rule5 % int2))) -> (rule1 % int1))
Dave is young.
("Dave" "is" "young" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
((triple3 ((triple4 ((triple3 triple5) -> (rule4 % int3)) triple3) -> (rule5 % int2))) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is kind.
("Charlie" "is" "kind" "+")
int3
Young Bob is wearing green pants.
That big rough Charlie guy is both red and blue at the same time.
Dave is man who is rough, red, nice, kind, and also green.
A rough textured and cold person is definitely young.
Because of circulation issues big people are often cold; If they are also green then they are certainly young.
Ifa blue and green colored person is rough then they must be big shaped.
If you find that someone has rough blue skin they are always kind.
I have found that kind, rough people are both red and cold.
Big people that are also rough, are ultimately round.