Bob is young and a bit big and round. He acts cold towards skinny people because he is green with envy. Dave is a person who is young and also rough. He's also someone who is big and blue. Eric is blue from ink he spilled on himself while being kind and helping some children paint. Someone who feels blue with rough skin is also kind and will be young. Someone who looks rough and feels cold is also kind to others. Being a young, round and kind individual means that you are also a blue individual. If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough. When someone feels blue and rough, they might be described as green.
Bob is young.
("Bob" "is" "young" "+")
Bob is round.
("Bob" "is" "round" "+")
Bob is green.
("Bob" "is" "green" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is big.
("Bob" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Dave is big.
("Dave" "is" "big" "+")
Eric is kind.
("Eric" "is" "kind" "+")
Eric is blue.
("Eric" "is" "blue" "+")
If someone is kind and blue and rough then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is rough and cold then they are kind.
((("someone" "is" "rough" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and round and kind then they are blue.
((("someone" "is" "young" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big and cold then they are rough.
((("someone" "is" "round" "+") ("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough then they are green.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "green" "+"))
Bob is big.
True
1
proof
[(triple5)]
("Bob" "is" "big" "+")
triple5
Bob is not young.
False
1
inv-proof
[(triple1)]
("Bob" "is" "young" "-")
triple1
Dave is green.
True
3
proof
[(((triple8 triple7) -> rule5))]
("Dave" "is" "green" "+")
((triple8 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Dave is not green.
False
3
inv-proof
[(((triple8 triple7) -> rule5))]
("Dave" "is" "green" "-")
((triple8 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Bob is kind.
True
6
proof
[(((((triple2 triple5 triple4) -> rule4) triple4) -> rule2))]
("Bob" "is" "kind" "+")
((((triple2 triple5 triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is not kind.
False
6
inv-proof
[(((((triple2 triple5 triple4) -> rule4) triple4) -> rule2))]
("Bob" "is" "kind" "-")
((((triple2 triple5 triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
True
9
proof
[(((triple1 triple2 ((((triple2 triple5 triple4) -> rule4) triple4) -> rule2)) -> rule3))]
("Bob" "is" "blue" "+")
((triple1 triple2 ((((triple2 triple5 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is not blue.
False
9
inv-proof
[(((triple1 triple2 ((((triple2 triple5 triple4) -> rule4) triple4) -> rule2)) -> rule3))]
("Bob" "is" "blue" "-")
((triple1 triple2 ((((triple2 triple5 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Fred is not green.
Unknown
inv-rconc
[@2: Fred is green.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Fred" "is" "green" "-")
Dave is kind.
Unknown
rconc
[@1: Dave is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "kind" "+")
Eric is not green.
Unknown
inv-rconc
[@2: Eric is green.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("Eric" "is" "green" "-")
Eric is young.
Unknown
rconc
[@2: Eric is young.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("Eric" "is" "young" "+")
Bob is not red.
Unknown
inv-random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "-")
Fred is cold.
Unknown
random
[@0: Fred is cold.[CWA. Example of deepest failure = (FAIL)]]
("Fred" "is" "cold" "+")
Eric is not red.
Unknown
inv-random
[@0: Eric is red.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "red" "-")
Dave is round.
Unknown
random
[@0: Dave is round.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "round" "+")
@0: Bob is big.[(triple5)] Bob is cold.[(triple4)] Bob is green.[(triple3 OR ((((triple1 triple2 ((((triple2 triple5 triple4) -> rule4) triple4) -> rule2)) -> rule3) ((triple2 triple5 triple4) -> rule4)) -> rule5))] Bob is round.[(triple2)] Bob is young.[(triple1)] Dave is big.[(triple9)] Dave is blue.[(triple8)] Dave is rough.[(triple7)] Dave is young.[(triple6)] Eric is blue.[(triple11)] Eric is kind.[(triple10)] @1: Bob is rough.[(((triple2 triple5 triple4) -> rule4))] Dave is green.[(((triple8 triple7) -> rule5))] @2: Bob is kind.[(((((triple2 triple5 triple4) -> rule4) triple4) -> rule2))] @3: Bob is blue.[(((triple1 triple2 ((((triple2 triple5 triple4) -> rule4) triple4) -> rule2)) -> rule3))]
Bob is big.
("Bob" "is" "big" "+")
triple5
Bob is cold.
("Bob" "is" "cold" "+")
triple4
Bob is green.
("Bob" "is" "green" "+")
triple3
((((triple1 triple2 ((((triple2 triple5 triple4) -> (rule4 % int4)) triple4) -> (rule2 % int3))) -> (rule3 % int2)) ((triple2 triple5 triple4) -> (rule4 % int4))) -> (rule5 % int1))
Bob is green.
("Bob" "is" "green" "+")
int1
Bob is blue.
("Bob" "is" "blue" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is rough.
("Bob" "is" "rough" "+")
int4
Bob is round.
("Bob" "is" "round" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Dave is big.
("Dave" "is" "big" "+")
triple9
Dave is blue.
("Dave" "is" "blue" "+")
triple8
Dave is rough.
("Dave" "is" "rough" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple6
Eric is blue.
("Eric" "is" "blue" "+")
triple11
Eric is kind.
("Eric" "is" "kind" "+")
triple10
Bob is rough.
("Bob" "is" "rough" "+")
((triple2 triple5 triple4) -> (rule4 % int1))
Bob is rough.
("Bob" "is" "rough" "+")
int1
Dave is green.
("Dave" "is" "green" "+")
((triple8 triple7) -> (rule5 % int1))
Dave is green.
("Dave" "is" "green" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
((((triple2 triple5 triple4) -> (rule4 % int2)) triple4) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
int2
Bob is blue.
("Bob" "is" "blue" "+")
((triple1 triple2 ((((triple2 triple5 triple4) -> (rule4 % int3)) triple4) -> (rule2 % int2))) -> (rule3 % int1))
Bob is blue.
("Bob" "is" "blue" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is rough.
("Bob" "is" "rough" "+")
int3
Bob is young and a bit big and round; He acts cold towards skinny people because he is green with envy.
Dave is a person who is young and also rough; He's also someone who is big and blue.
Eric is blue from ink he spilled on himself while being kind and helping some children paint.
Someone who feels blue with rough skin is also kind and will be young.
Someone who looks rough and feels cold is also kind to others.
Being a young, round and kind individual means that you are also a blue individual.
If someone is round in their face and big boned as well as having cold hands then you'll often note that their skin is rough.
When someone feels blue and rough, they might be described as green.