When you meet Alan you'll the two characteristics that will standout is that he's red but also rough. Even though Bob is rough, he nice but cold and blue. Charlie is interestingly colored red and blue, and is also very kind. Dave was born only a few years ago so he is young. Being a kind person even when you are blue is hard, but it means you are round with delight. Young, green round people are big. A nice young person who is red is cold. Blue and red people are often rough. A rough, blue person is often said to be nice. A rough and round shaped person will be nice and also young. Take a drive and find a kind and blue driver, that means they are also young.
Alan is rough.
("Alan" "is" "rough" "+")
Alan is red.
("Alan" "is" "red" "+")
Bob is rough.
("Bob" "is" "rough" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is blue.
("Charlie" "is" "blue" "+")
Dave is young.
("Dave" "is" "young" "+")
If someone is blue and kind then they are round.
((("someone" "is" "blue" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "round" "+"))
If someone is green and young and round then they are big.
((("someone" "is" "green" "+") ("someone" "is" "young" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
If someone is nice and red and young then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "cold" "+"))
If someone is blue and red then they are rough.
((("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "rough" "+"))
If someone is blue and rough then they are nice.
((("someone" "is" "blue" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and round and nice then they are young.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "young" "+"))
If someone is kind and blue then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
Alan is red.
True
1
proof
[(triple2)]
("Alan" "is" "red" "+")
triple2
Bob is not rough.
False
1
inv-proof
[(triple3)]
("Bob" "is" "rough" "-")
triple3
Charlie is round.
True
3
proof
[(((triple9 triple8) -> rule1))]
("Charlie" "is" "round" "+")
((triple9 triple8) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is not rough.
False
3
inv-proof
[(((triple9 triple7) -> rule4))]
("Charlie" "is" "rough" "-")
((triple9 triple7) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is nice.
True
5
proof
[(((triple9 ((triple9 triple7) -> rule4)) -> rule5))]
("Charlie" "is" "nice" "+")
((triple9 ((triple9 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is not nice.
False
5
inv-proof
[(((triple9 ((triple9 triple7) -> rule4)) -> rule5))]
("Charlie" "is" "nice" "-")
((triple9 ((triple9 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
True
10
proof
[(((((triple9 ((triple9 triple7) -> rule4)) -> rule5) triple7 ((triple8 triple9) -> rule7)) -> rule3) OR ((((triple9 ((triple9 triple7) -> rule4)) -> rule5) triple7 ((((triple9 triple7) -> rule4) ((triple9 triple8) -> rule1) ((triple9 ((triple9 triple7) -> rule4)) -> rule5)) -> rule6)) -> rule3))]
("Charlie" "is" "cold" "+")
((((triple9 ((triple9 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple7 ((triple8 triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple9 ((triple9 triple7) -> (rule4 % int5))) -> (rule5 % int4)) triple7 ((((triple9 triple7) -> (rule4 % int5)) ((triple9 triple8) -> (rule1 % int3)) ((triple9 ((triple9 triple7) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Charlie is not cold.
False
10
inv-proof
[(((((triple9 ((triple9 triple7) -> rule4)) -> rule5) triple7 ((triple8 triple9) -> rule7)) -> rule3) OR ((((triple9 ((triple9 triple7) -> rule4)) -> rule5) triple7 ((((triple9 triple7) -> rule4) ((triple9 triple8) -> rule1) ((triple9 ((triple9 triple7) -> rule4)) -> rule5)) -> rule6)) -> rule3))]
("Charlie" "is" "cold" "-")
((((triple9 ((triple9 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple7 ((triple8 triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple9 ((triple9 triple7) -> (rule4 % int5))) -> (rule5 % int4)) triple7 ((((triple9 triple7) -> (rule4 % int5)) ((triple9 triple8) -> (rule1 % int3)) ((triple9 ((triple9 triple7) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
Dave is not round.
Unknown
inv-rconc
[@1: Dave is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Dave" "is" "round" "-")
Bob is young.
Unknown
rconc
[@2: Bob is young.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("Bob" "is" "young" "+")
Alan is not cold.
Unknown
inv-rconc
[@2: Alan is cold.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("Alan" "is" "cold" "-")
Bob is big.
Unknown
rconc
[@1: Bob is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "big" "+")
Charlie is not green.
Unknown
inv-random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Dave is not green.
Unknown
inv-random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "-")
Dave is red.
Unknown
random
[@0: Dave is red.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "red" "+")
@0: Alan is red.[(triple2)] Alan is rough.[(triple1)] Bob is blue.[(triple6)] Bob is cold.[(triple5)] Bob is nice.[(triple4 OR ((triple6 triple3) -> rule5))] Bob is rough.[(triple3)] Charlie is blue.[(triple9)] Charlie is kind.[(triple8)] Charlie is red.[(triple7)] Dave is young.[(triple10)] @1: Charlie is rough.[(((triple9 triple7) -> rule4))] Charlie is round.[(((triple9 triple8) -> rule1))] Charlie is young.[(((triple8 triple9) -> rule7) OR ((((triple9 triple7) -> rule4) ((triple9 triple8) -> rule1) ((triple9 ((triple9 triple7) -> rule4)) -> rule5)) -> rule6))] @2: Charlie is nice.[(((triple9 ((triple9 triple7) -> rule4)) -> rule5))] @3: Charlie is cold.[(((((triple9 ((triple9 triple7) -> rule4)) -> rule5) triple7 ((triple8 triple9) -> rule7)) -> rule3) OR ((((triple9 ((triple9 triple7) -> rule4)) -> rule5) triple7 ((((triple9 triple7) -> rule4) ((triple9 triple8) -> rule1) ((triple9 ((triple9 triple7) -> rule4)) -> rule5)) -> rule6)) -> rule3))]
Alan is red.
("Alan" "is" "red" "+")
triple2
Alan is rough.
("Alan" "is" "rough" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple5
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple6 triple3) -> (rule5 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is rough.
("Bob" "is" "rough" "+")
triple3
Charlie is blue.
("Charlie" "is" "blue" "+")
triple9
Charlie is kind.
("Charlie" "is" "kind" "+")
triple8
Charlie is red.
("Charlie" "is" "red" "+")
triple7
Dave is young.
("Dave" "is" "young" "+")
triple10
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple9 triple7) -> (rule4 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
((triple9 triple8) -> (rule1 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
((triple8 triple9) -> (rule7 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
((((triple9 triple7) -> (rule4 % int4)) ((triple9 triple8) -> (rule1 % int3)) ((triple9 ((triple9 triple7) -> (rule4 % int4))) -> (rule5 % int2))) -> (rule6 % int1))
Charlie is young.
("Charlie" "is" "young" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
Charlie is nice.
("Charlie" "is" "nice" "+")
((triple9 ((triple9 triple7) -> (rule4 % int2))) -> (rule5 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is rough.
("Charlie" "is" "rough" "+")
int2
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple9 ((triple9 triple7) -> (rule4 % int4))) -> (rule5 % int3)) triple7 ((triple8 triple9) -> (rule7 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is rough.
("Charlie" "is" "rough" "+")
int4
((((triple9 ((triple9 triple7) -> (rule4 % int5))) -> (rule5 % int4)) triple7 ((((triple9 triple7) -> (rule4 % int5)) ((triple9 triple8) -> (rule1 % int3)) ((triple9 ((triple9 triple7) -> (rule4 % int5))) -> (rule5 % int4))) -> (rule6 % int2))) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is young.
("Charlie" "is" "young" "+")
int2
Charlie is round.
("Charlie" "is" "round" "+")
int3
Charlie is nice.
("Charlie" "is" "nice" "+")
int4
Charlie is rough.
("Charlie" "is" "rough" "+")
int5
When you meet Alan you'll the two characteristics that will standout is that he's red but also rough.
Even though Bob is rough, he nice but cold and blue.
Charlie is interestingly colored red and blue, and is also very kind.
Dave was born only a few years ago so he is young.
Being a kind person even when you are blue is hard, but it means you are round with delight.
Young, green round people are big.
A nice young person who is red is cold.
Blue and red people are often rough.
A rough, blue person is often said to be nice.
A rough and round shaped person will be nice and also young.
Take a drive and find a kind and blue driver, that means they are also young.