Bob is very young to be a nurse but he loves helping others because he is so nice and kind. Charlie is young and green. He is big and is rough around the edges with tough red skin. They always call him rough Gary. Big, red Harry is quite kind. Big, kind people are nice. Watch out for the rough and round kind people for they cold to others. Red people who are also kind often turn out to be cold from standing outdoors too long. If you meet a kind green person with a round shape they will also be young. Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color. Round and somewhat big people manage to be kind to everyone. A young, big sized person will certainly be a kind one.
Bob is young.
("Bob" "is" "young" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is kind.
("Bob" "is" "kind" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is kind.
("Harry" "is" "kind" "+")
Harry is big.
("Harry" "is" "big" "+")
If someone is kind and big then they are nice.
((("someone" "is" "kind" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "nice" "+"))
If someone is rough and round and kind then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and red then they are cold.
((("someone" "is" "kind" "+") ("someone" "is" "red" "+")) -> ("someone" "is" "cold" "+"))
If someone is kind and green and round then they are young.
((("someone" "is" "kind" "+") ("someone" "is" "green" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
If someone is nice and cold and big then they are blue.
((("someone" "is" "nice" "+") ("someone" "is" "cold" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "blue" "+"))
If someone is round and big then they are kind.
((("someone" "is" "round" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
If someone is young and big then they are kind.
((("someone" "is" "young" "+") ("someone" "is" "big" "+")) -> ("someone" "is" "kind" "+"))
Harry is big.
True
1
proof
[(triple12)]
("Harry" "is" "big" "+")
triple12
Bob is not nice.
False
1
inv-proof
[(triple2)]
("Bob" "is" "nice" "-")
triple2
Harry is nice.
True
3
proof
[(((triple11 triple12) -> rule1))]
("Harry" "is" "nice" "+")
((triple11 triple12) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Harry is not nice.
False
3
inv-proof
[(((triple11 triple12) -> rule1))]
("Harry" "is" "nice" "-")
((triple11 triple12) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Charlie is cold.
True
5
proof
[(((((triple4 triple8) -> rule7) triple6) -> rule3))]
("Charlie" "is" "cold" "+")
((((triple4 triple8) -> (rule7 % int2)) triple6) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is not nice.
False
5
inv-proof
[(((((triple4 triple8) -> rule7) triple8) -> rule1))]
("Charlie" "is" "nice" "-")
((((triple4 triple8) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is blue.
True
12
proof
[(((((((triple4 triple8) -> rule7) triple8) -> rule1) ((((triple4 triple8) -> rule7) triple6) -> rule3) triple8) -> rule5))]
("Charlie" "is" "blue" "+")
((((((triple4 triple8) -> (rule7 % int4)) triple8) -> (rule1 % int3)) ((((triple4 triple8) -> (rule7 % int4)) triple6) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Charlie is not blue.
False
12
inv-proof
[(((((((triple4 triple8) -> rule7) triple8) -> rule1) ((((triple4 triple8) -> rule7) triple6) -> rule3) triple8) -> rule5))]
("Charlie" "is" "blue" "-")
((((((triple4 triple8) -> (rule7 % int4)) triple8) -> (rule1 % int3)) ((((triple4 triple8) -> (rule7 % int4)) triple6) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Gary is not young.
Unknown
inv-rconc
[@1: Gary is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "young" "-")
Gary is blue.
Unknown
rconc
[@1: Gary is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("Gary" "is" "blue" "+")
Gary is not nice.
Unknown
inv-rconc
[@1: Gary is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("Gary" "is" "nice" "-")
Bob is cold.
Unknown
rconc
[@1: Bob is cold.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Bob" "is" "cold" "+")
Gary is not big.
Unknown
inv-random
[@0: Gary is big.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "big" "-")
Bob is rough.
Unknown
random
[@0: Bob is rough.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "rough" "+")
Gary is not round.
Unknown
inv-random
[@0: Gary is round.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "round" "-")
Bob is big.
Unknown
random
[@0: Bob is big.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "big" "+")
@0: Bob is kind.[(triple3)] Bob is nice.[(triple2)] Bob is young.[(triple1)] Charlie is big.[(triple8)] Charlie is green.[(triple7)] Charlie is red.[(triple6)] Charlie is rough.[(triple5)] Charlie is young.[(triple4)] Gary is rough.[(triple9)] Harry is big.[(triple12)] Harry is kind.[(triple11)] Harry is red.[(triple10)] @1: Charlie is kind.[(((triple4 triple8) -> rule7))] Harry is cold.[(((triple11 triple10) -> rule3))] Harry is nice.[(((triple11 triple12) -> rule1))] @2: Charlie is cold.[(((((triple4 triple8) -> rule7) triple6) -> rule3))] Charlie is nice.[(((((triple4 triple8) -> rule7) triple8) -> rule1))] Harry is blue.[(((((triple11 triple12) -> rule1) ((triple11 triple10) -> rule3) triple12) -> rule5))] @3: Charlie is blue.[(((((((triple4 triple8) -> rule7) triple8) -> rule1) ((((triple4 triple8) -> rule7) triple6) -> rule3) triple8) -> rule5))]
Bob is kind.
("Bob" "is" "kind" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple2
Bob is young.
("Bob" "is" "young" "+")
triple1
Charlie is big.
("Charlie" "is" "big" "+")
triple8
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple6
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is young.
("Charlie" "is" "young" "+")
triple4
Gary is rough.
("Gary" "is" "rough" "+")
triple9
Harry is big.
("Harry" "is" "big" "+")
triple12
Harry is kind.
("Harry" "is" "kind" "+")
triple11
Harry is red.
("Harry" "is" "red" "+")
triple10
Charlie is kind.
("Charlie" "is" "kind" "+")
((triple4 triple8) -> (rule7 % int1))
Charlie is kind.
("Charlie" "is" "kind" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
((triple11 triple10) -> (rule3 % int1))
Harry is cold.
("Harry" "is" "cold" "+")
int1
Harry is nice.
("Harry" "is" "nice" "+")
((triple11 triple12) -> (rule1 % int1))
Harry is nice.
("Harry" "is" "nice" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
((((triple4 triple8) -> (rule7 % int2)) triple6) -> (rule3 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
((((triple4 triple8) -> (rule7 % int2)) triple8) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is kind.
("Charlie" "is" "kind" "+")
int2
Harry is blue.
("Harry" "is" "blue" "+")
((((triple11 triple12) -> (rule1 % int3)) ((triple11 triple10) -> (rule3 % int2)) triple12) -> (rule5 % int1))
Harry is blue.
("Harry" "is" "blue" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
int2
Harry is nice.
("Harry" "is" "nice" "+")
int3
Charlie is blue.
("Charlie" "is" "blue" "+")
((((((triple4 triple8) -> (rule7 % int4)) triple8) -> (rule1 % int3)) ((((triple4 triple8) -> (rule7 % int4)) triple6) -> (rule3 % int2)) triple8) -> (rule5 % int1))
Charlie is blue.
("Charlie" "is" "blue" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is nice.
("Charlie" "is" "nice" "+")
int3
Charlie is kind.
("Charlie" "is" "kind" "+")
int4
Bob is very young to be a nurse but he loves helping others because he is so nice and kind.
Charlie is young and green; He is big and is rough around the edges with tough red skin.
They always call him rough Gary.
Big, red Harry is quite kind.
Big, kind people are nice.
Watch out for the rough and round kind people for they cold to others.
Red people who are also kind often turn out to be cold from standing outdoors too long.
If you meet a kind green person with a round shape they will also be young.
Generally speaking, a person who is said to be nice, cold, and big, is someone with a blue color.
Round and somewhat big people manage to be kind to everyone.
A young, big sized person will certainly be a kind one.