Bob wears all blue. Charlie is cold with rough red skin. Charlie is big but is also kind. Dave is so young and darling he is kind to all the old people on the block. Young Gary is quite nice, and because he is so round can be considered quite big. Often, when you meet a rough person with red skin, you'll see that they are young too. A blue colored, nice but rough person is definitely young too. Kind and young people are round. A big and round shaped person that is also cold will be blue in color. Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of. It's just a fact that a blue person is a kind person.
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is cold.
("Charlie" "is" "cold" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Dave is young.
("Dave" "is" "young" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Gary is young.
("Gary" "is" "young" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is big.
("Gary" "is" "big" "+")
If someone is rough and red then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and blue and rough then they are young.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "young" "+"))
If someone is young and kind then they are round.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is cold and big and round then they are blue.
((("someone" "is" "cold" "+") ("someone" "is" "big" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If someone is rough and round and big then they are nice.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
Dave is young.
True
1
proof
[(triple7)]
("Dave" "is" "young" "+")
triple7
Charlie is not kind.
False
1
inv-proof
[(triple4)]
("Charlie" "is" "kind" "-")
triple4
Dave is round.
True
3
proof
[(((triple7 triple8) -> rule3))]
("Dave" "is" "round" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Dave is not round.
False
3
inv-proof
[(((triple7 triple8) -> rule3))]
("Dave" "is" "round" "-")
((triple7 triple8) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Charlie is round.
True
5
proof
[(((((triple2 triple3) -> rule1) triple4) -> rule3))]
("Charlie" "is" "round" "+")
((((triple2 triple3) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is not round.
False
5
inv-proof
[(((((triple2 triple3) -> rule1) triple4) -> rule3))]
("Charlie" "is" "round" "-")
((((triple2 triple3) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
True
8
proof
[(((triple2 ((((triple2 triple3) -> rule1) triple4) -> rule3) triple6) -> rule5))]
("Charlie" "is" "nice" "+")
((triple2 ((((triple2 triple3) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is not nice.
False
8
inv-proof
[(((triple2 ((((triple2 triple3) -> rule1) triple4) -> rule3) triple6) -> rule5))]
("Charlie" "is" "nice" "-")
((triple2 ((((triple2 triple3) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Dave is not blue.
Unknown
inv-rconc
[@1: Dave is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Dave" "is" "blue" "-")
Gary is kind.
Unknown
rconc
[@2: Gary is kind.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("Gary" "is" "kind" "+")
Gary is not blue.
Unknown
inv-rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "blue" "-")
Bob is round.
Unknown
rconc
[@2: Bob is round.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("Bob" "is" "round" "+")
Dave is not red.
Unknown
inv-random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Gary is red.
Unknown
random
[@0: Gary is red.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "red" "+")
@0: Bob is blue.[(triple1)] Charlie is big.[(triple6)] Charlie is cold.[(triple5)] Charlie is kind.[(triple4)] Charlie is red.[(triple3)] Charlie is rough.[(triple2)] Dave is kind.[(triple8)] Dave is young.[(triple7)] Gary is big.[(triple12)] Gary is nice.[(triple11)] Gary is round.[(triple10)] Gary is young.[(triple9)] @1: Bob is kind.[(((triple1) -> rule6))] Charlie is young.[(((triple2 triple3) -> rule1))] Dave is round.[(((triple7 triple8) -> rule3))] @2: Charlie is round.[(((((triple2 triple3) -> rule1) triple4) -> rule3))] @3: Charlie is blue.[(((triple5 triple6 ((((triple2 triple3) -> rule1) triple4) -> rule3)) -> rule4))] Charlie is nice.[(((triple2 ((((triple2 triple3) -> rule1) triple4) -> rule3) triple6) -> rule5))]
Bob is blue.
("Bob" "is" "blue" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple6
Charlie is cold.
("Charlie" "is" "cold" "+")
triple5
Charlie is kind.
("Charlie" "is" "kind" "+")
triple4
Charlie is red.
("Charlie" "is" "red" "+")
triple3
Charlie is rough.
("Charlie" "is" "rough" "+")
triple2
Dave is kind.
("Dave" "is" "kind" "+")
triple8
Dave is young.
("Dave" "is" "young" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple12
Gary is nice.
("Gary" "is" "nice" "+")
triple11
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is young.
("Gary" "is" "young" "+")
triple9
Bob is kind.
("Bob" "is" "kind" "+")
((triple1) -> (rule6 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple2 triple3) -> (rule1 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Dave is round.
("Dave" "is" "round" "+")
((triple7 triple8) -> (rule3 % int1))
Dave is round.
("Dave" "is" "round" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((((triple2 triple3) -> (rule1 % int2)) triple4) -> (rule3 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is blue.
("Charlie" "is" "blue" "+")
((triple5 triple6 ((((triple2 triple3) -> (rule1 % int3)) triple4) -> (rule3 % int2))) -> (rule4 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple2 ((((triple2 triple3) -> (rule1 % int3)) triple4) -> (rule3 % int2)) triple6) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
int3
Bob wears all blue.
Charlie is cold with rough red skin; Charlie is big but is also kind.
Dave is so young and darling he is kind to all the old people on the block.
Young Gary is quite nice, and because he is so round can be considered quite big.
Often, when you meet a rough person with red skin, you'll see that they are young too.
A blue colored, nice but rough person is definitely young too.
Kind and young people are round.
A big and round shaped person that is also cold will be blue in color.
Big people, round in the middle and having rough skin are nice because they know what it's like to be made fun of.
It's just a fact that a blue person is a kind person.