I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time. Charlie feels nice and kind today, so he paints himself green and embraces his cold side. Charlie is big enough to do whatever he wants. Young Dave is wearing green pants. Harry is very nice to people, but he's also rather big. A green and blue colored person who is young will certainly be big. People that are big and cold are blue as well. I have found that young, blue, and big individuals are also red. Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer. A blue and green colored person will be round in shape. A blue, rough and round person will also be a big person.
Bob is rough.
("Bob" "is" "rough" "+")
Bob is red.
("Bob" "is" "red" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is green.
("Dave" "is" "green" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is green and young and blue then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "big" "+"))
If someone is big and cold then they are blue.
((("someone" "is" "big" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone is young and blue and big then they are red.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "red" "+"))
If someone is kind and round and nice then they are rough.
((("someone" "is" "kind" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and green then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
If someone is blue and rough and round then they are big.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Charlie is big.
True
1
proof
[(triple8)]
("Charlie" "is" "big" "+")
triple8
Charlie is not kind.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "kind" "-")
triple5
Charlie is blue.
True
3
proof
[(((triple8 triple7) -> rule2))]
("Charlie" "is" "blue" "+")
((triple8 triple7) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is not blue.
False
3
inv-proof
[(((triple8 triple7) -> rule2))]
("Charlie" "is" "blue" "-")
((triple8 triple7) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
True
5
proof
[(((((triple8 triple7) -> rule2) triple6) -> rule5))]
("Charlie" "is" "round" "+")
((((triple8 triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is not round.
False
5
inv-proof
[(((((triple8 triple7) -> rule2) triple6) -> rule5))]
("Charlie" "is" "round" "-")
((((triple8 triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
True
8
proof
[(((triple5 ((((triple8 triple7) -> rule2) triple6) -> rule5) triple4) -> rule4))]
("Charlie" "is" "rough" "+")
((triple5 ((((triple8 triple7) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Charlie is not rough.
False
8
inv-proof
[(((triple5 ((((triple8 triple7) -> rule2) triple6) -> rule5) triple4) -> rule4))]
("Charlie" "is" "rough" "-")
((triple5 ((((triple8 triple7) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
Harry is not round.
Unknown
inv-rconc
[@1: Harry is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Harry" "is" "round" "-")
Bob is big.
Unknown
rconc
[@2: Bob is big.[CWA. Example of deepest failure = (rule6 <- rule5 <- FAIL)]]
("Bob" "is" "big" "+")
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Dave" "is" "blue" "-")
Bob is blue.
Unknown
rconc
[@2: Bob is blue.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("Bob" "is" "blue" "+")
Harry is not kind.
Unknown
inv-random
[@0: Harry is kind.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "kind" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
Dave is not cold.
Unknown
inv-random
[@0: Dave is cold.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "cold" "-")
Charlie is young.
Unknown
random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "+")
@0: Bob is cold.[(triple3)] Bob is red.[(triple2)] Bob is rough.[(triple1)] Charlie is big.[(triple8)] Charlie is cold.[(triple7)] Charlie is green.[(triple6)] Charlie is kind.[(triple5)] Charlie is nice.[(triple4)] Dave is green.[(triple10)] Dave is young.[(triple9)] Harry is big.[(triple12)] Harry is nice.[(triple11)] @1: Charlie is blue.[(((triple8 triple7) -> rule2))] @2: Charlie is round.[(((((triple8 triple7) -> rule2) triple6) -> rule5))] @3: Charlie is rough.[(((triple5 ((((triple8 triple7) -> rule2) triple6) -> rule5) triple4) -> rule4))]
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is red.
("Bob" "is" "red" "+")
triple2
Bob is rough.
("Bob" "is" "rough" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is cold.
("Charlie" "is" "cold" "+")
triple7
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is kind.
("Charlie" "is" "kind" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple4
Dave is green.
("Dave" "is" "green" "+")
triple10
Dave is young.
("Dave" "is" "young" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple8 triple7) -> (rule2 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple8 triple7) -> (rule2 % int2)) triple6) -> (rule5 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is blue.
("Charlie" "is" "blue" "+")
int2
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple5 ((((triple8 triple7) -> (rule2 % int3)) triple6) -> (rule5 % int2)) triple4) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
int3
I know Bob really well and you can say he is rough on the outside, cold on the inside and red all of the time.
Charlie feels nice and kind today, so he paints himself green and embraces his cold side; Charlie is big enough to do whatever he wants.
Young Dave is wearing green pants.
Harry is very nice to people, but he's also rather big.
A green and blue colored person who is young will certainly be big.
People that are big and cold are blue as well.
I have found that young, blue, and big individuals are also red.
Someone nice and kind with a round belly that shakes when they laugh will also have rough hands from spending time outdoors with the reindeer.
A blue and green colored person will be round in shape.
A blue, rough and round person will also be a big person.