Young Dave has red, rough skin, but is nice and kind. When you meet Eric you'll the two characteristics that will standout is that he's red but also rough. Gary is big and rough. Harry is very young to be a nurse but he loves helping others because he is so nice and kind. A person with a rough quality is also a person with a blue quality. When someone is young and round, dressing in blue they can be nice. When someone is nice, dressing in red, they can be blue because they are cold. If a person that is blue and green is also cold, that means that they are young. Young, kind people have the trait of being cold and are also very nice to interact with. It's just a fact that a blue person is a kind person. If you run into a cold and kind person, they are always big.
Dave is young.
("Dave" "is" "young" "+")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is red.
("Dave" "is" "red" "+")
Dave is nice.
("Dave" "is" "nice" "+")
Dave is kind.
("Dave" "is" "kind" "+")
Eric is rough.
("Eric" "is" "rough" "+")
Eric is red.
("Eric" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is big.
("Gary" "is" "big" "+")
Harry is young.
("Harry" "is" "young" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is kind.
("Harry" "is" "kind" "+")
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and young and blue then they are nice.
((("someone" "is" "round" "+") ("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice and blue and red then they are cold.
((("someone" "is" "nice" "+") ("someone" "is" "blue" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and blue and green then they are young.
((("someone" "is" "cold" "+") ("someone" "is" "blue" "+") ("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone is cold and young and kind then they are nice.
((("someone" "is" "cold" "+") ("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "nice" "+"))
If someone is blue then they are kind.
((("someone" "is" "blue" "+")) -> ("someone" "is" "kind" "+"))
If someone is cold and kind then they are big.
((("someone" "is" "cold" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "big" "+"))
Dave is young.
True
1
proof
[(triple1)]
("Dave" "is" "young" "+")
triple1
Dave is not kind.
False
1
inv-proof
[(triple5 OR ((((triple2) -> rule1)) -> rule6))]
("Dave" "is" "kind" "-")
triple5
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Eric is blue.
True
2
proof
[(((triple6) -> rule1))]
("Eric" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Eric is not blue.
False
2
inv-proof
[(((triple6) -> rule1))]
("Eric" "is" "blue" "-")
((triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Dave is cold.
True
5
proof
[(((triple4 ((triple2) -> rule1) triple3) -> rule3))]
("Dave" "is" "cold" "+")
((triple4 ((triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Gary is not kind.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule6))]
("Gary" "is" "kind" "-")
((((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Dave is big.
True
7
proof
[(((((triple4 ((triple2) -> rule1) triple3) -> rule3) triple5) -> rule7) OR ((((triple4 ((triple2) -> rule1) triple3) -> rule3) ((((triple2) -> rule1)) -> rule6)) -> rule7))]
("Dave" "is" "big" "+")
((((triple4 ((triple2) -> (rule1 % int3)) triple3) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple4 ((triple2) -> (rule1 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Dave is not big.
False
7
inv-proof
[(((((triple4 ((triple2) -> rule1) triple3) -> rule3) triple5) -> rule7) OR ((((triple4 ((triple2) -> rule1) triple3) -> rule3) ((((triple2) -> rule1)) -> rule6)) -> rule7))]
("Dave" "is" "big" "-")
((((triple4 ((triple2) -> (rule1 % int3)) triple3) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple4 ((triple2) -> (rule1 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Gary is not nice.
Unknown
inv-rconc
[@2: Gary is nice.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("Gary" "is" "nice" "-")
Harry is cold.
Unknown
rconc
[@1: Harry is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Harry" "is" "cold" "+")
Eric is not young.
Unknown
inv-rconc
[@1: Eric is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Eric" "is" "young" "-")
Eric is cold.
Unknown
rconc
[@2: Eric is cold.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("Eric" "is" "cold" "+")
Eric is not green.
Unknown
inv-random
[@0: Eric is green.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "green" "-")
Dave is green.
Unknown
random
[@0: Dave is green.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "green" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Eric is round.
Unknown
random
[@0: Eric is round.[CWA. Example of deepest failure = (FAIL)]]
("Eric" "is" "round" "+")
@0: Dave is kind.[(triple5 OR ((((triple2) -> rule1)) -> rule6))] Dave is nice.[(triple4)] Dave is red.[(triple3)] Dave is rough.[(triple2)] Dave is young.[(triple1)] Eric is red.[(triple7)] Eric is rough.[(triple6)] Gary is big.[(triple9)] Gary is rough.[(triple8)] Harry is kind.[(triple12)] Harry is nice.[(triple11)] Harry is young.[(triple10)] @1: Dave is blue.[(((triple2) -> rule1))] Eric is blue.[(((triple6) -> rule1))] Gary is blue.[(((triple8) -> rule1))] @2: Dave is cold.[(((triple4 ((triple2) -> rule1) triple3) -> rule3))] Eric is kind.[(((((triple6) -> rule1)) -> rule6))] Gary is kind.[(((((triple8) -> rule1)) -> rule6))] @3: Dave is big.[(((((triple4 ((triple2) -> rule1) triple3) -> rule3) triple5) -> rule7) OR ((((triple4 ((triple2) -> rule1) triple3) -> rule3) ((((triple2) -> rule1)) -> rule6)) -> rule7))]
Dave is kind.
("Dave" "is" "kind" "+")
triple5
((((triple2) -> (rule1 % int2))) -> (rule6 % int1))
Dave is kind.
("Dave" "is" "kind" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
triple4
Dave is red.
("Dave" "is" "red" "+")
triple3
Dave is rough.
("Dave" "is" "rough" "+")
triple2
Dave is young.
("Dave" "is" "young" "+")
triple1
Eric is red.
("Eric" "is" "red" "+")
triple7
Eric is rough.
("Eric" "is" "rough" "+")
triple6
Gary is big.
("Gary" "is" "big" "+")
triple9
Gary is rough.
("Gary" "is" "rough" "+")
triple8
Harry is kind.
("Harry" "is" "kind" "+")
triple12
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is young.
("Harry" "is" "young" "+")
triple10
Dave is blue.
("Dave" "is" "blue" "+")
((triple2) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
((triple6) -> (rule1 % int1))
Eric is blue.
("Eric" "is" "blue" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
((triple8) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple4 ((triple2) -> (rule1 % int2)) triple3) -> (rule3 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
int2
Eric is kind.
("Eric" "is" "kind" "+")
((((triple6) -> (rule1 % int2))) -> (rule6 % int1))
Eric is kind.
("Eric" "is" "kind" "+")
int1
Eric is blue.
("Eric" "is" "blue" "+")
int2
Gary is kind.
("Gary" "is" "kind" "+")
((((triple8) -> (rule1 % int2))) -> (rule6 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1
Gary is blue.
("Gary" "is" "blue" "+")
int2
Dave is big.
("Dave" "is" "big" "+")
((((triple4 ((triple2) -> (rule1 % int3)) triple3) -> (rule3 % int2)) triple5) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is blue.
("Dave" "is" "blue" "+")
int3
((((triple4 ((triple2) -> (rule1 % int4)) triple3) -> (rule3 % int3)) ((((triple2) -> (rule1 % int4))) -> (rule6 % int2))) -> (rule7 % int1))
Dave is big.
("Dave" "is" "big" "+")
int1
Dave is kind.
("Dave" "is" "kind" "+")
int2
Dave is cold.
("Dave" "is" "cold" "+")
int3
Dave is blue.
("Dave" "is" "blue" "+")
int4
Young Dave has red, rough skin, but is nice and kind.
When you meet Eric you'll the two characteristics that will standout is that he's red but also rough.
Gary is big and rough.
Harry is very young to be a nurse but he loves helping others because he is so nice and kind.
A person with a rough quality is also a person with a blue quality.
When someone is young and round, dressing in blue they can be nice.
When someone is nice, dressing in red, they can be blue because they are cold.
If a person that is blue and green is also cold, that means that they are young.
Young, kind people have the trait of being cold and are also very nice to interact with.
It's just a fact that a blue person is a kind person.
If you run into a cold and kind person, they are always big.